4
$\begingroup$

Is it possible to define constructively a total order in the power set of the real line ?

1 Answers 1

3

You don't. It is consistent with ZF that there is no linear ordering of $\mathcal P(\mathbb R)$.

Andres Caicedo wrote a rather detailed answer to this on this MathOverflow thread.