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

DOI10.1016/J.APAL.2003.08.001zbMATH Open1046.03021OpenAlexW1968465633MaRDI QIDQ1428036FDOQ1428036

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

Recommendations

• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On the real exponential field with restricted analytic functions
• A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
• scientific article; zbMATH DE number 2220979
• Theorems of the complement

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)

Cites Work

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

Cited In (8)

• A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Title not available (Why is that?)
• Theorems of the Complement
• 2004 Summer Meeting of the Association for Symbolic Logic
• Definable functions in tame expansions of algebraically closed valued fields
• On the set of reduced states of translation invariant, infinite quantum systems

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

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