Let $U$ and $V$ be two nonprincipal ultrafilters over N, and $R_1$ and $R_2$ the nonstandard 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 ?)
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 backandforth argument. When the CH fails, then they need not be isomorphic. 

