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

DOI10.1016/j.apal.2003.08.001zbMath1046.03021MaRDI 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-minimality; Pfaffian function; real exponentiation

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03C64: Model theory of ordered structures; o-minimality

Related Items

Theorems of the Complement, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), 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