The elementary theory of Dedekind cuts in polynomially bounded structures

DOI10.1016/J.APAL.2004.12.003MaRDI QIDQ2488270zbMATH OpenOpenAlexFDO

Authors Marcus Tressl

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

zbMATH Keywords

Dedekind cuto-minimalityPolynomially boundedQuantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64)

Abstract: Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the set C. We do this also over any given set of parameters from M, which yields a description of all subsets of M^n, definable in the expanded structure.

Recommendations

• Model completeness of o-minimal structures expanded by Dedekind cuts
• Model completeness in o-minimal polynomially bounded structures
• A structure theorem for semibounded sets in the reals
• Paires de structures O-minimales
• scientific article; zbMATH DE number 2220979

Cites work

• T-convexity and tame extensions
• T-convexity and tame extensions II
• Exponentiation is Hard to Avoid
• scientific article; zbMATH DE number 3933024 (Why is no real title available?)
• scientific article; zbMATH DE number 956481 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Omitting types in -minimal theories
• On o-minimal expansions of Archimedean ordered groups
• Paires de structures O-minimales
• The field of reals with multisummable series and the exponential function.
• Weakly o-minimal structures and real closed fields

Cited in

(7)

• Cutting lemma and Zarankiewicz's problem in distal structures
• An investigation of the fields of bounded formal power series by means of theory of cuts
• Model completeness in o-minimal polynomially bounded structures
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Heirs of box types in polynomially bounded structures
• A structure theorem for semibounded sets in the reals
• Selected methods for the classification of cuts, and their applications

This page was built for publication: The elementary theory of Dedekind cuts in polynomially bounded structures

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