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