Model completeness of o-minimal structures expanded by Dedekind cuts

DOI10.2178/JSL/1107298509MaRDI QIDQ3370753zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

o-minimal structuresmodel completenessDedekind cuts

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

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

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 -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)