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

DOI10.1016/J.APAL.2003.08.001MaRDI QIDQ1428036zbMATH OpenOpenAlexFDO

Authors Alessandro Berarducci, Tamara Servi

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)

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

Cites work

• scientific article; zbMATH DE number 3908819 (Why is no real title available?)
• scientific article; zbMATH DE number 956472 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1169378 (Why is no real title available?)
• scientific article; zbMATH DE number 1405589 (Why is no real title available?)
• scientific article; zbMATH DE number 3344793 (Why is no real title available?)
• scientific article; zbMATH DE number 2209727 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A general model completeness result for expansions of the real ordered field
• A theorem of the complement and some new o-minimal structures
• About certain subsets of the Euclidean space
• Complexity of stratifications of semi-Pfaffian sets
• Frontier and closure of a semi-Pfaffian set
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields

Cited in

(8)

• Theorems of the complement
• 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}\)
• scientific article; zbMATH DE number 3937151 (Why is no real title available?)
• 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)