Skip to main content
1 of 4
bof
  • 13.4k
  • 2
  • 43
  • 66

It seems to me that your DpC implies that every set of pairwise disjoint nonempty subsets of $\mathbb R$ has a choice function; equivalently, that every set of pairwise disjoint nonempty subsets of $[\omega]^\omega$ has a choice function.

Let $S$ be a set of pairwise disjoint nonempty subsets of $[\omega]^\omega$. Let $X=S\cup\{\{n\}:n\in\omega\}$, still a set of pairwise disjoint nonempty sets. Let $f$ be an injective "deep choice function" for $X$. Then $f(\{n\})=n$ for each $n\in\omega$. If $a\in S$, then $\operatorname{tc}(a)\subseteq a\cup\omega$, so $f(a)\in a$.

bof
  • 13.4k
  • 2
  • 43
  • 66