Model completeness results for expansions of the ordered field of real numbers by restricted pfaffian functions and the exponential function

Journal of the American Mathematical Society

Volumn 9, Issue 4, 1996, Pages 1051-1094

  Wilkie, A J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030503308     PISSN: 08940347     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0894-0347-96-00216-0     Document Type: Article

References (32)

1. J. Bridge, Begining model theory, Oxford Univ. Press, 1977. MR 58:27171
2. J. Bridge, Begining model theory, Oxford Univ. Press, 1977. MR 58:27171
3. B. I. Dahn, The limit behaviour of exponential terms, Fund. Math. 124 (1984), 169-186. MR 86f:03058
4. B. I. Dahn, The limit behaviour of exponential terms, Fund. Math. 124 (1984), 169-186. MR 86f:03058
5. J. Denef and L. van den Dries, P-adic and real subanalytic sets, Ann. of Math 128 (1988) 79-138. MR 89k:03034
6. J. Denef and L. van den Dries, P-adic and real subanalytic sets, Ann. of Math 128 (1988) 79-138. MR 89k:03034
7. J. Dieudonné, Foundations of modern analysis, Academic Press, San Diego, 1969. MR 50:1782
8. J. Dieudonné, Foundations of modern analysis, Academic Press, San Diego, 1969. MR 50:1782
9. A. Gabrielov, Projections of semi-analytic sets, Functional Anal. Appl. 2 (1968), 282-291. MR 39:7137
10. A. Gabrielov, Projections of semi-analytic sets, Functional Anal. Appl. 2 (1968), 282-291. MR 39:7137
11. A. G. Khovanskii, On a class of systems of transcendental equations, Soviet Math. Dokl. 22 (1980), 762-765. MR 82a:14006
12. A. G. Khovanskii, On a class of systems of transcendental equations, Soviet Math. Dokl. 22 (1980), 762-765. MR 82a:14006
13. J. F. Knight, A. Pillay, and C. Steinhorn, Definable sets in ordered structures II, Trans. Amer. Math. Soc. 295 (1986), 593-605. MR 88b:03050b
14. J. F. Knight, A. Pillay, and C. Steinhorn, Definable sets in ordered structures II, Trans. Amer. Math. Soc. 295 (1986), 593-605. MR 88b:03050b
15. S. Lojasiewicz, Ensembles semi-analytiques, mimeographed notes, IHES, 1965.
16. L. Mirsky, Introduction to linear algebra, Oxford Univ. Press, 1955. MR 17:573a
17. L. Mirsky, Introduction to linear algebra, Oxford Univ. Press, 1955. MR 17:573a
18. A. Pillay and C. Steinhorn, Definable sets in ordered structures. I Trans. Amer. Math. Soc. 295 (1986), 565-592. MR 88b:03050a
19. A. Pillay and C. Steinhorn, Definable sets in ordered structures. I Trans. Amer. Math. Soc. 295 (1986), 565-592. MR 88b:03050a
20. A. Tarski, A decision method for elementary algebra and geometry, 2nd revised ed., Berkeley and Los Angeles, 1951. MR 13:423a
21. A. Tarski, A decision method for elementary algebra and geometry, 2nd revised ed., Berkeley and Los Angeles, 1951. MR 13:423a
22. L. van den Dries, Remarks on Tarski's problem concerning (R, +, ·, exp), Logic Colloquium 1982, North Holland, 1984, p. 97-121. MR 86b:03052
23. L. van den Dries, Remarks on Tarski's problem concerning (R, +, ·, exp), Logic Colloquium 1982, North Holland, 1984, p. 97-121. MR 86b:03052
24. _. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results Bull. Amer. Math. Soc. (N.S.) 15 (1986), 189-193. MR 88b:03048
25. _. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results Bull. Amer. Math. Soc. (N.S.) 15 (1986), 189-193. MR 88b:03048
26. _, On the elementary theory of restricted elementary functions, J. Symbolic Logic 53 (1988), 796-808. MR 89i:03074
27. _, On the elementary theory of restricted elementary functions, J. Symbolic Logic 53 (1988), 796-808. MR 89i:03074
28. _, Tame topology and 0-minimal structures, mimeographed notes, University of Illinois at Urbana-Champaign, 1991.
29. A. J. Wilkie, On the theory of the real exponential field, Illinois J. Math. 33 (1989), 384-408. MR 90i:03042
30. A. J. Wilkie, On the theory of the real exponential field, Illinois J. Math. 33 (1989), 384-408. MR 90i:03042
31. H. Wolter, On the model theory of exponential fields (survey), Logic Colloquium 1984, North-Holland, 1986, pp. 343-353. MR 88a:03082
32. H. Wolter, On the model theory of exponential fields (survey), Logic Colloquium 1984, North-Holland, 1986, pp. 343-353. MR 88a:03082