Work in ZF + DC. Assume that there is an uncountable $A \subseteq \mathbb{R}$ and a linear order $\prec$ on $A$ such that for every $x \in A$, $\{y \in A: y \prec x\}$ is countable. Must there exist an injection from $\omega_1$ to $\mathbb{R}$? If true, perhaps one should try to construct a $\prec$-cofinal subset $B \subseteq A$ such that $(B, \prec)$ is well-ordered. But I do not see how to do this with dependent choice.
1 Answer
$\begingroup$
$\endgroup$
2
You can't do this.
Working over the Solovay model, take a symmetric extension as follows. First, force by adding $\Bbb Q\times\omega_1$ many Cohen reals, with order automorphisms (lexicographic order, that is) acting on the forcing with the filter of groups generated by countable supports. So the set of reals is still linearly ordered.
This preserves $\sf DC$, and we can show that any function from the an ordinal into the reals must be given by adding a single Cohen real.
So, the set of reals we added is linearly orderable, every proper initial segment is countable, but there is no injection from $\omega_1$ into the reals.
answered May 27 at 22:20
-
$\begingroup$ What about the case where such an order exists on $\mathbb R$ itself? $\endgroup$ Commented May 27 at 23:29
-
$\begingroup$ Oh, that's an interesting question. I don't know. $\endgroup$– Asaf Karagila ♦Commented May 29 at 14:17