An effective version of Wilkie's theorem of the complement and some effective o-minimality results.

DOI10.1016/j.apal.2003.08.001zbMath1046.03021OpenAlexW1968465633MaRDI QIDQ1428036

Tamara Servi, Alessandro Berarducci

Publication date: 14 March 2004

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

Full work available at URL: https://doi.org/10.1016/j.apal.2003.08.001

zbMATH Keywords

o-minimalityPfaffian functionreal exponentiation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64)

Related Items (5)

On the set of reduced states of translation invariant, infinite quantum systems ⋮ Embedding the prime model of real exponentiation into o‐minimal exponential fields ⋮ \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) ⋮ Theorems of the Complement ⋮ 2004 Summer Meeting of the Association for Symbolic Logic

Cites Work

• About certain subsets of the Euclidean space
• A general model completeness result for expansions of the real ordered field
• Frontier and closure of a semi-Pfaffian set
• Complexity of stratifications of semi-Pfaffian sets
• A theorem of the complement and some new o-minimal structures
• On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An effective version of Wilkie's theorem of the complement and some effective o-minimality results.