Embedding Orders Into Cardinals With $DC_\kappa$
Logic
2014-06-17 v4
Abstract
Jech proved that every partially ordered set can be embedded into the cardinals of some model of . We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of for any regular . We use this theorem to show that for all , the assumption of does not entail that there are no decreasing chains of cardinals. We also show how to extend the result to and embed into the cardinals a proper class which is definable over the ground model. We use this extension to give a large cardinals-free proof of independence of the weak choice principle known as .
Cite
@article{arxiv.1212.4396,
title = {Embedding Orders Into Cardinals With $DC_\kappa$},
author = {Asaf Karagila},
journal= {arXiv preprint arXiv:1212.4396},
year = {2014}
}
Comments
11 pages; some improvements as suggested by the referee; minor technical corrections in section 4, journal reference