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

DOI10.1016/S0168-0072(98)00012-8zbMATH Open0972.03040MaRDI QIDQ1295415FDOQ1295415

Authors: Steve Maxwell 

Publication date: 24 June 1999

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

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

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)

Cites Work

• Title not available (Why is that?)
• Definable Sets in Ordered Structures. II
• Title not available (Why is that?)
• A theorem of the complement and some new o-minimal structures
• Complements of subanalytic sets and existential formulas for analytic functions
• About certain subsets of the Euclidean space

Cited In (11)

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

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)