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:
Ján Jakubík (1990)
Czechoslovak Mathematical Journal
Similarity:
Ján Jakubík (1989)
Archivum Mathematicum
Similarity:
Ján Jakubík (1991)
Czechoslovak Mathematical Journal
Similarity: