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
migrated from meta.mathoverflow.net Aug 20 '13 at 18:46
This question came from our discussion, support, and feature requests site for professional mathematicians.
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