English

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 ZFZF. We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of ZF+DC<κZF+DC_{<\kappa} for any regular κ\kappa. We use this theorem to show that for all κ\kappa, the assumption of DCκDC_\kappa 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 WISCWISC.

Keywords

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

R2 v1 2026-06-21T22:56:41.055Z