A Simple Proof of the Marker-Steinhorn Theorem for Expansions of Ordered Abelian Groups
arXiv:1309.5968
Abstract
We give a short and self-contained proof of the Marker-Steinhorn Theorem for o-minimal expansions of ordered groups, based on an analysis of linear orders definable in such structures.