All Questions
1 question
20
votes
2
answers
1k
views
Automorphisms of the hyperreals over the rationals and nontrivial automorphism groups
A classic result says the automorphism group of $\mathbb{R}$ (over $\mathbb{Q}$) is trivial. The proof is simple: every automorphism preserves squares, and hence fixes the positive reals, so it must ...