Isomorphisms of real closed fields. Perović, Ž. (1995) Publications de l'Institut Mathématique. Nouvelle Série
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