Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Brian Pinsky's user avatar