[FOM] Order types: a proof (correction)

Jeremy Clark jeremy.clark at wanadoo.fr
Mon Mar 7 05:42:43 EST 2005

In my previous e-mail I provided a choiceless construction of a 
counter-example, but stated that you need countable choice to prove 
non-isomorphism. In fact you don't need choice at all for this proof, 
as it can be based on the taking of suprema for countable subsets of 
omega_1, which are unique of course.


Jeremy Clark 

More information about the FOM mailing list