Displaying similar documents to “It is consistent that there exists an ordered real closed field which is not hyper-real.”