It is consistent that there exists an ordered real closed field which is not hyper-real.
Stojanović, Jadran, Perović, Žikica (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Stojanović, Jadran, Perović, Žikica (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Perović, Ž. (1995)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Tibor Šalát (1994)
Mathematica Slovaca
Similarity:
Kent, Darrell C., Richmond, T.A. (1990)
International Journal of Mathematics and Mathematical Sciences
Similarity:
J. Blair Roll (1993)
Czechoslovak Mathematical Journal
Similarity: