Material set theory

Axiom of Dependent Choice

The Axiom of Dependent Choice is a possible axiom of material set theory providing a sufficiently strong choice principle for most mathematics:¹ #m/def/set

which is to say it is possible to make a countable sequence of choices, each dependent on the last.

Relationship to other axioms

Strengthenings

Over , is a strict weakening of the Axiom of Choice.

Weakenings

Over , is a strengthening of the Countable Axiom of Choice, which only allows for independent sequences of choices.

#state/develop | #lang/en | #SemBr