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:¹ 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 ZF, is a strict weakening of the Axiom of Choice.

Weakenings

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

---

develop | en | sembr

Footnotes

1. 2006. Notes on set theory, ¶8.13, p. 114 ↩