The Marker-Steinhorn theorem via definable linear orders

DOI10.1215/00294527-2019-0026MaRDI QIDQ2295740zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

o-minimalitydefineable typesMarker-Steinhorn theorem

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Cites work

• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Definable linear orders definably embed into lexicographic orders in o-minimal structures
• 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
• 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)