Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?
Logic
2025-01-07 v2
Abstract
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.
Cite
@article{arxiv.2305.06676,
title = {Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?},
author = {Alessandro Andretta and Lorenzo Notaro},
journal= {arXiv preprint arXiv:2305.06676},
year = {2025}
}
Comments
23 pages