A Simple Proof of the Marker-Steinhorn Theorem for Expansions of Ordered Abelian Groups
Erik Walsberg
所有作者
Erik Walsberg
文献摘要
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.