MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Hi All. Need some information. We all know axiom of choice (AC) and countable choice. Which axioms are between these two. I mean weaker that Axiom of choice but stronger than countable choice ?

share|cite|improve this question
What do you need this information for? Do you have a specific theorem that follows from ZFC but not from ZF+Countable choice? – Goldstern Jan 4 '13 at 20:46
up vote 2 down vote accepted

Dependent choice, for example. Or choice for well-ordered families, see Existence of model of ZF without AC, but with many choice function

share|cite|improve this answer

There are many many many axioms.

For example you have the Principle of Dependent Choice, you also have the generalized axiom of choice for $\kappa$, "For every family of size $\kappa$ of non-empty sets there is a choice function." and whenever $\kappa>\aleph_0$ this is a strictly stronger axiom. In a similar fashion the principle of dependent choice is extended to what is known as $\mathsf{DC}_\kappa$.

There are many choice principles and they come in different flavours and shapes. Some good places to start would be:

  1. Howard & Rubin's Consequences of the Axiom of Choice.
  2. Herrlich's The Axiom of Choice.
  3. G. Moore's Zermelo's Axiom of Choice.
  4. Jech's The Axiom of Choice.
share|cite|improve this answer

Your Answer


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