Does $\mathsf{DC}$ imply ${\mathsf{AC}}_{\omega }$, uniformly?

Alessandro Andretta, Lorenzo Notaro

The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice ${\mathsf{AC}}_{\omega }$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mat…