The Marker–Steinhorn Theorem via Definable Linear Orders

Erik Walsberg

doi:10.1215/00294527-2019-0026

Abstract

We give a short proof of the Marker–Steinhorn theorem for o-minimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.

Citation

Download Citation

Erik Walsberg. "The Marker–Steinhorn Theorem via Definable Linear Orders." Notre Dame J. Formal Logic 60 (4) 701 - 706, November 2019. https://doi.org/10.1215/00294527-2019-0026

Information

Received: 8 August 2017; Accepted: 10 August 2018; Published: November 2019

First available in Project Euclid: 6 September 2019

zbMATH: 07167764

MathSciNet: MR4019868

Digital Object Identifier: 10.1215/00294527-2019-0026

Subjects:

Primary: 03C64

Secondary: 03C45

Keywords: defineable types , Marker–Steinhorn theorem , O-minimality

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS