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

DOI10.1016/S0168-0072(98)00012-8zbMath0972.03040MaRDI QIDQ1295415

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)

Related Items (3)

An effective version of Wilkie's theorem of the complement and some effective o-minimality results. ⋮ Theorems of the Complement ⋮ Tame semiflows for piecewise linear vector fields

Cites Work

• Unnamed Item
• Unnamed Item
• About certain subsets of the Euclidean space
• Complements of subanalytic sets and existential formulas for analytic functions
• A theorem of the complement and some new o-minimal structures
• Definable Sets in Ordered Structures. II

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