# Isomorphisms between non-standard reals.

Let $U$ and $V$ be two non-principal ultrafilters over N, and $R_1$ and $R_2$ the non-standard extensions of R given by $R_1=R^N/U$ and $R_2=R^N/V$. Are they always isomorphic (I think not, but could not prove it), and, if not, what axioms must be added to ZFC to ensure they are (or is it a consequence of AC that they are not ?)

-
add comment

## 1 Answer

If the continuum hypothesis holds, then both of these ultrapowers are saturated models of cardinality $\omega_1$, and one can see that they are isomorphic by a back-and-forth argument.

When the CH fails, then they need not be isomorphic.

-
See also Simon Thomas' answer here: mathoverflow.net/questions/30408/… –  Joel David Hamkins Apr 27 '12 at 11:36
add comment