The Marker-Steinhorn theorem via definable linear orders
From MaRDI portal
Publication:2295740
DOI10.1215/00294527-2019-0026zbMATH Open1472.03038OpenAlexW2971882188MaRDI QIDQ2295740FDOQ2295740
Authors: Erik Walsberg 
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
- Title not available (Why is that?)
- Definable types in -minimal theories
- Dependent first order theories, continued
- Externally definable sets and dependent pairs
- Externally definable sets and dependent pairs. II
- On linearly ordered structures of finite rank
- Definable linear orders definably embed into lexicographic orders in o-minimal structures
- Valuation theoretic content of the Marker-Steinhorn theorem
This page was built for publication: The Marker-Steinhorn theorem via definable linear orders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295740)
