Valuation theoretic content of the Marker-Steinhorn theorem

DOI10.2178/jsl/1080938828zbMath1080.03025OpenAlexW2030871437MaRDI QIDQ5311709

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

real closed fieldDedekind completenessdefinable typeo-minimal theory

Mathematics Subject Classification ID

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

Related Items (3)

The domination monoid in o-minimal theories ⋮ The Marker-Steinhorn theorem via definable linear orders ⋮ Heirs of box types in polynomially bounded structures

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