There is no first order property of a totally ordered group $G$ which
(a) implies that $G$ is archimedean
(b) is satisfied by the real numbers (with the usual order and usual addition).
Goldstern
- 14k
- 1
- 47
- 71