Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
@article{Wilkie1996ModelCR, title={Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function}, author={A. Wilkie}, journal={Journal of the American Mathematical Society}, year={1996}, volume={9}, pages={1051-1094} }
Recall that a subset of R is called semi-algebraic if it can be represented as a (finite) boolean combination of sets of the form {~ α ∈ R : p(~ α) = 0}, {~ α ∈ R : q(~ α) > 0} where p(~x), q(~x) are n-variable polynomials with real coefficients. A map from R to R is called semi-algebraic if its graph, considered as a subset of R, is so. The geometry of such sets and maps (“semi-algebraic geometry”) is now a widely studied and flourishing subject that owes much to the foundational work in the… Expand
406 Citations
The real field with an irrational power function and a dense multiplicative subgroup
- Mathematics, Computer Science
- J. Lond. Math. Soc.
- 2011
- 1
- PDF
Expansions of the Real Field with Power Functions
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 1994
- 91
- PDF
An effective version of Wilkie's theorem of the complement and some effective o-minimality results
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2004
- 15
- PDF
References
SHOWING 1-10 OF 26 REFERENCES
A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Mathematics
- 1986
- 152
- PDF
On the Elementary Theory of Restricted Elementary Functions
- Mathematics, Computer Science
- J. Symb. Log.
- 1988
- 49
adic and real subanalytic sets
- Ann. of Math
- 1988