The Marker–Steinhorn Theorem via Definable Linear Orders

Notre Dame Journal of Formal Logic 60 (4):701-706 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2019-0026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Definable Types in $mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
Valuation theoretic content of the Marker-Steinhorn theorem.Marcus Tressl - 2004 - Journal of Symbolic Logic 69 (1):91-93.
The maximal linear extension theorem in second order arithmetic.Alberto Marcone & Richard A. Shore - 2011 - Archive for Mathematical Logic 50 (5-6):543-564.
On the Boolean algebras of definable sets in weakly o‐minimal theories.Stefano Leonesi & Carlo Toffalori - 2004 - Mathematical Logic Quarterly 50 (3):241-248.
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Linearization of definable order relations.Vladimir Kanovei - 2000 - Annals of Pure and Applied Logic 102 (1-2):69-100.
Resplendent models and $${\Sigma_1^1}$$ -definability with an oracle.Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.
Linear orders: When embeddability and epimorphism agree.Riccardo Camerlo, Raphaël Carroy & Alberto Marcone - 2019 - Journal of Mathematical Logic 19 (1):1950003.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Intersection theory for o-minimal manifolds.Alessandro Berarducci & Margarita Otero - 2001 - Annals of Pure and Applied Logic 107 (1-3):87-119.
Taming the Indefinitely Extensible Definable Universe.L. Luna & W. Taylor - 2014 - Philosophia Mathematica 22 (2):198-208.

Analytics

Added to PP
2019-09-06

Downloads
6 (#1,454,046)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Definable Types in $mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
Valuation theoretic content of the Marker-Steinhorn theorem.Marcus Tressl - 2004 - Journal of Symbolic Logic 69 (1):91-93.

Add more references