An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
type: Item
instance of: scholarly article
title: An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
zbMATH Open document ID: 1046.03021
author: Alessandro Berarducci
author: Tamara Servi
published in: Annals of Pure and Applied Logic
publication date: 2004-03-14T00:00:00Z
review text: Tarski proved that the theory \(\mathbb{R}= (\mathbb{R},+,\cdot,0,1,<)\) is decidable and asked whether the same holds for the theory \(T_{\text{exp}}\), the theory of \(\mathbb{R}\) with the function \(e^x\) added. This problem is still open. Wilkie showed that \(T_{\text{exp}}\) is model complete. It follows that every definable \(X\subseteq\mathbb{R}^n\) (in the language of \(T_{\text{exp}})\) has a finite number of connected components. This implies that \(T_{\text{exp}}\) is o-minimal. Here, the authors prove an effective version of a theorem of Wilkie: Given an expansion of \(\mathbb{R}\) with finitely many \(C^\infty\) functions, if there are uniform and computable upper bounds on the number of connected components of quantifier-free definable sets, then there are uniform and computable bounds for all definable sets. Further on they show: Let \(L\) be a language expanding the language of ordered rings. If an \(L\)-sentence is true in every o-minimal \(L\)-structure expanding the ordered field of real numbers, then it is true in every o-minimal \(L\)-structure expanding any real closed field.
reviewed by: Martin Weese
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 2056205
zbMATH Keywords: o-minimality
zbMATH Keywords: Pfaffian function
zbMATH Keywords: real exponentiation
MaRDI profile type: Publication
full work available at URL: j.apal.2003.08.001
OpenAlex ID: W1968465633
cites work: About certain subsets of the Euclidean space
cites work: Q3837729
cites work: Q4392286
cites work: Frontier and closure of a semi-Pfaffian set
cites work: Q5692710
cites work: Complexity of stratifications of semi-Pfaffian sets
cites work: Q3686991
cites work: Q4397030
cites work: A general model completeness result for expansions of the real ordered field
cites work: On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
cites work: Q5620774
cites work: Q5807665
cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
cites work: Q4938568
cites work: A theorem of the complement and some new o-minimal structures
DOI: 10.1016/J.APAL.2003.08.001
description: scientific article; zbMATH DE number 2056205