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:
S. Todorcevic (1978)
Publications de l'Institut Mathématique [Elektronische Ressource]
Similarity:
Milan R. Tasković (1980)
Publications de l'Institut Mathématique
Similarity:
Vítězslav Novák, Miroslav Novotný (2000)
Czechoslovak Mathematical Journal
Similarity:
A construction is given which makes it possible to find all linear extensions of a given ordered set and, conversely, to find all orderings on a given set with a prescribed linear extension. Further, dense subsets of ordered sets are studied and a procedure is presented which extends a linear extension constructed on a dense subset to the whole set.
Robert H. Redfield (2001)
Czechoslovak Mathematical Journal
Similarity: