Recognizing the real line

A. M. W. Glass, John S. Wilson

Let $(\Omega ,\le )$ be a totally ordered set. We prove that if Aut$(\Omega ,\le )$ is transitive and satisfies the same first-order sentences as the automorphism group of the real line (in t…