Consider the partial order $(P(\omega),\subseteq)$. Let $L$ be a dense linear suborder. Does $L$ have a countable dense subset?
(Note that it contains a copy of $\mathbb R$, via Dedekind cuts of $\mathbb Q$.)
Linear suborders of $(P(\omega),\subseteq)$
Monroe Eskew
- 18.7k
- 5
- 53
- 115