Suppose that T is a set theory with global choice (for example ZF+ global choice). Question: Does T prove the existence of a wellorder on the whole universe V whose restriction to the class On of ordinals is the natural wellorder on ON ? Gérard Lang
$\begingroup$
$\endgroup$
Yes, use global choice to choose, for each ordinal $\alpha$, a wellordering $<_\alpha$ of the sets of rank $\alpha$ in the cumulative hierarchy. Then wellorder all the sets by putting $x$ before $y$ if either $x$ has lower rank than $y$ or they have the same rank $\alpha$ and $x<_\alpha y$.

$\begingroup$ As far as I can tell, this question has been migrated from MathOverflow to MathOverflow. I wasn't previously aware that such vacuous migrations were possible. $\endgroup$ – Andreas Blass Aug 20 '13 at 19:08

8