Valuation theoretic content of the Marker-Steinhorn theorem

DOI10.2178/JSL/1080938828MaRDI QIDQ5311709zbMATH OpenOpenAlexFDO

Authors Marcus Tressl

Publication date 29 August 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1080938828

zbMATH Keywords

Dedekind completenessdefinable typeo-minimal theoryreal closed field

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Ordered fields (12J15)

Recommendations

• Definable types in algebraically closed valued fields
• Definable types in -minimal theories
• Definability of 1-types in weakly o-minimal theories
• A proof of the valuation property and preparation theorem
• Definability of types, and pairs of O-minimal structures

Cited in

(6)

• The Marker-Steinhorn theorem via definable linear orders
• Definable types in algebraically closed valued fields
• Heirs of box types in polynomially bounded structures
• The domination monoid in o-minimal theories
• A proof of the valuation property and preparation theorem
• The Marker-Steinhorn theorem

This page was built for publication: Valuation theoretic content of the Marker-Steinhorn theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311709)