Heirs of box types in polynomially bounded structures

DOI10.2178/JSL/1254748689zbMath1187.03035OpenAlexW2102207345MaRDI QIDQ3655254

Marcus Tressl

Publication date: 7 January 2010

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

Full work available at URL: http://eprints.maths.manchester.ac.uk/1154/1/Tressl_HeirsOfBoxTypes.pdf

zbMATH Keywords

valuation theoryDedekind cutdefinable typepolynomially bounded o-minimal structurebox typeheir

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Real algebra (13J30)

Cites Work

• Unnamed Item
• Pseudo completions and completions in stages of o-minimal structures
• Weakly o-minimal nonvaluational structures
• Weakly semialgebraic spaces
• The elementary theory of Dedekind cuts in polynomially bounded structures
• The Field of Reals with Multisummable Series and the Exponential Function
• Definable sets in ordered structures
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Weakly o-minimal structures and real closed fields
• Valuation theoretic content of the Marker-Steinhorn theorem

This page was built for publication: Heirs of box types in polynomially bounded structures