It is Consistent That There Exists an eta1-ordered Real Closed Field Which is not Hyper-real


Jadran Stojanović, Žikica Perović


We provide an example of a model of ZFC in which there exists an $\eta_1$-ordered real closed field which is not a hyper-real field.