Model completeness of o-minimal structures expanded by Dedekind cuts

DOI10.2178/JSL/1107298509zbMATH Open1097.03032OpenAlexW2025021296MaRDI QIDQ3370753FDOQ3370753

Authors: Marcus Tressl 

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

Recommendations

• On Dedekind complete o-minimal structures
• Definable types in -minimal theories
• The elementary theory of Dedekind cuts in polynomially bounded structures
• scientific article
• Definability of types, and pairs of O-minimal structures

zbMATH Keywords

o-minimal structuresmodel completenessDedekind cuts

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Cites Work

• The field of reals with multisummable series and the exponential function.
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Weakly o-minimal structures and real closed fields
• Real closed rings. II. Model theory
• T-convexity and tame extensions II

Cited In (10)

• Selected methods for the classification of cuts, and their applications
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Definable functions continuous on curves in o-minimal structures
• Constructing \(\omega\)-stable structures: Model completeness.
• Heirs of box types in polynomially bounded structures
• Pseudo completions and completions in stages of o-minimal structures
• Arithmetic of Dedekind cuts of ordered abelian groups
• 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

This page was built for publication: Model completeness of o-minimal structures expanded by Dedekind cuts

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