Displaying similar documents to “A well ordering of the Cartesian product of two ordinals”