Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How much of Zorn's lemma can be saved if we assume only ZF+DC without full choice? More precisely: assume we have a partially ordered (inductive) set which is of size continuum. Then can we apply Zorn's lemma in this case assuming only dependent choice?

share|cite|improve this question
up vote 7 down vote accepted

It is a theorem of Wolk [1] that for every infinite $\kappa$ the axiom $\sf DC_\kappa$ is equivalent to the following statement:

If $(P,\leq)$ is a partially ordered set in which every well-ordered chain has order type $<\kappa$ and has an upper-bound, then $P$ contains a maximal element.

In the case of $\kappa=\omega$ this means that every partial order in which every well-ordered chain is finite and bounded has a maximal element.

Note that there is no limitation on the cardinality of $P$. Only on its well-ordered chains.


  1. Elliot S. Wolk, On the principle of dependent choices and some forms of Zorn’s lemma, Canad. Math. Bull. 26 (1983), no. 3, 365–367.
share|cite|improve this answer
What can we save ($DC_{\omega}$ or $DC_{\aleph_1}$) in Solovay's model? – user48900 Apr 26 '13 at 21:00
Solovay's model satisfies $\sf DC_\omega$. When we say "save" we mean that we can construct a model in such way that $\sf DC_\omega$ (or otherwise) is retained. It cannot satisfy $\sf DC_{\aleph_1}$ as that implies there is a non-measurable set. – Asaf Karagila Apr 26 '13 at 21:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.