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. Regards, Jeremy Clark