Model completeness of o-minimal structures expanded by Dedekind cuts
From MaRDI portal
Publication:3370753
DOI10.2178/jsl/1107298509zbMath1097.03032OpenAlexW2025021296MaRDI QIDQ3370753
Publication date: 8 February 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1107298509
Related Items (8)
Pseudo completions and completions in stages of o-minimal structures ⋮ One-basedness and groups of the form \(G/G ^{00}\) ⋮ Uniform bounds on growth in o-minimal structures ⋮ The elementary theory of Dedekind cuts in polynomially bounded structures ⋮ Arithmetic of Dedekind cuts of ordered abelian groups ⋮ Selected methods for the classification of cuts, and their applications ⋮ Heirs of box types in polynomially bounded structures ⋮ Definable functions continuous on curves in o-minimal structures
Cites Work
- Real closed rings. II. Model theory
- The Field of Reals with Multisummable Series and the Exponential Function
- T-convexity and tame extensions II
- Weakly o-minimal structures and real closed fields
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
This page was built for publication: Model completeness of o-minimal structures expanded by Dedekind cuts
