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

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

2 Answers 2

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.