The elementary theory of Dedekind cuts in polynomially bounded structures
From MaRDI portal
Publication:2488270
DOI10.1016/j.apal.2004.12.003zbMath1089.03032arXivmath/0305122MaRDI QIDQ2488270
Publication date: 25 August 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0305122
03C64: Model theory of ordered structures; o-minimality
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Selected methods for the classification of cuts, and their applications, Heirs of box types in polynomially bounded structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Field of Reals with Multisummable Series and the Exponential Function
- Model completeness of o-minimal structures expanded by Dedekind cuts
- Omitting types in -minimal theories
- Paires de structures O-minimales
- Exponentiation is Hard to Avoid
- T-convexity and tame extensions II
- Weakly o-minimal structures and real closed fields
- T-convexity and tame extensions
- On o-minimal expansions of Archimedean ordered groups
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function