A general model completeness result for expansions of the real ordered field

DOI10.1016/S0168-0072(98)00012-8MaRDI QIDQ1295415zbMATH OpenFDO

Authors Steve Maxwell

Publication date 24 June 1999

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

o-minimal structuresmodel completenesso-minimal expansion of the real ordered fieldtame systems

Mathematics Subject Classification ID

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

Recommendations

• Model completeness in o-minimal polynomially bounded structures
• The real field with convergent generalized power series
• On the real exponential field with restricted analytic functions
• A generic condition implying o-minimality for restricted \(C^\infty\)-functions

Cites work

• scientific article; zbMATH DE number 956472 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A theorem of the complement and some new o-minimal structures
• About certain subsets of the Euclidean space
• Complements of subanalytic sets and existential formulas for analytic functions
• Definable Sets in Ordered Structures. II

Cited in

(11)

• Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure
• Model completeness in o-minimal polynomially bounded structures
• Theorems of the complement
• Remarks on the Dedekind completion of a nonstandard model of the reals
• A note on \(\aleph_\alpha\)-saturated o-minimal expansions of real closed fields
• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• Tame semiflows for piecewise linear vector fields
• Model Completeness for the Real Field with the Weierstrass ℘ Function
• Computer Science Logic
• A generic condition implying o-minimality for restricted \(C^\infty\)-functions
• An o-minimal structure which does not admit \(C^\infty\) cellular decomposition

This page was built for publication: A general model completeness result for expansions of the real ordered field

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