Re: Explicit choice functions on subsets of R

Rupert wrote:
> There is no definable well-ordering of the reals.

That's certainly true. It is consistent with ZFC that there is a
definable well-ordering of the universe (and thus also of the reals),
though.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logic-Philosophicus