The Marker-Steinhorn theorem via definable linear orders
From MaRDI portal
Publication:2295740
DOI10.1215/00294527-2019-0026zbMath1472.03038OpenAlexW2971882188MaRDI QIDQ2295740
Publication date: 14 February 2020
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1567735226
Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)
Cites Work
- Unnamed Item
- Externally definable sets and dependent pairs
- Dependent first order theories, continued
- Definable types in -minimal theories
- Definable linear orders definably embed into lexicographic orders in o-minimal structures
- ON LINEARLY ORDERED STRUCTURES OF FINITE RANK
- Externally definable sets and dependent pairs II
- Valuation theoretic content of the Marker-Steinhorn theorem
This page was built for publication: The Marker-Steinhorn theorem via definable linear orders