加载中…
The Axiom of Dependent Choice and the Axiom of Countable Choice are two weak forms of the Axiom of Choice that can be stated for a specific set: asserts that any total binary relation on has an infinite chain, while asserts that any countable collection of nonempty subsets of has a choice function. It is well-known that . We study for which sets and under which hypotheses , and then we show it is consistent with that there is a set for which holds, but fails.

生成讲解博客的中文版本

生成AI智能校验的中文版本