Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
HTML articles powered by AMS MathViewer
- by A. J. Wilkie PDF
- J. Amer. Math. Soc. 9 (1996), 1051-1094 Request permission
References
- Jane Bridge, Beginning model theory, Oxford Logic Guides, Clarendon Press, Oxford, 1977. The completeness theorem and some consequences. MR 0532719
- Bernd I. Dahn, The limit behaviour of exponential terms, Fund. Math. 124 (1984), no. 2, 169–186. MR 774509, DOI 10.4064/fm-124-2-169-186
- J. Denef and L. van den Dries, $p$-adic and real subanalytic sets, Ann. of Math. (2) 128 (1988), no. 1, 79–138. MR 951508, DOI 10.2307/1971463
- J. Dieudonné, Foundations of modern analysis, Pure and Applied Mathematics, Vol. 10-I, Academic Press, New York-London, 1969. Enlarged and corrected printing. MR 0349288
- A. M. Gabrièlov, Projections of semianalytic sets, Funkcional. Anal. i Priložen. 2 (1968), no. 4, 18–30 (Russian). MR 0245831
- A. G. Hovanskiĭ, A class of systems of transcendental equations, Dokl. Akad. Nauk SSSR 255 (1980), no. 4, 804–807 (Russian). MR 600749
- Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), no. 2, 565–592. MR 833697, DOI 10.1090/S0002-9947-1986-0833697-X
- S. Łojasiewicz, Ensembles semi-analytiques, mimeographed notes, IHES, 1965.
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
- Anand Pillay and Charles Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), no. 2, 565–592. MR 833697, DOI 10.1090/S0002-9947-1986-0833697-X
- C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
- R. G. Downey, A note on decompositions of recursively enumerable subspaces, Z. Math. Logik Grundlag. Math. 30 (1984), no. 5, 465–470. MR 766904, DOI 10.1002/malq.19840303002
- Lou van den Dries, A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Bull. Amer. Math. Soc. (N.S.) 15 (1986), no. 2, 189–193. MR 854552, DOI 10.1090/S0273-0979-1986-15468-6
- Lou van den Dries, On the elementary theory of restricted elementary functions, J. Symbolic Logic 53 (1988), no. 3, 796–808. MR 960999, DOI 10.2307/2274572
- —, Tame topology and $0$-minimal structures, mimeographed notes, University of Illinois at Urbana-Champaign, 1991.
- A. J. Wilkie, On the theory of the real exponential field, Illinois J. Math. 33 (1989), no. 3, 384–408. MR 996349, DOI 10.1215/ijm/1255988651
- Helmut Wolter, On the model theory of exponential fields (survey), Logic colloquium ’84 (Manchester, 1984) Stud. Logic Found. Math., vol. 120, North-Holland, Amsterdam, 1986, pp. 343–353. MR 861432, DOI 10.1016/S0049-237X(08)70470-1
Additional Information
- A. J. Wilkie
- Affiliation: Mathematical Institute, 24-29 St. Giles, Oxford OX1 3LB, United Kingdom
- Email: wilkie@maths.oxford.ac.uk
- Received by editor(s): July 28, 1992
- Received by editor(s) in revised form: June 29, 1995
- © Copyright 1996 American Mathematical Society
- Journal: J. Amer. Math. Soc. 9 (1996), 1051-1094
- MSC (1991): Primary 03C10
- DOI: https://doi.org/10.1090/S0894-0347-96-00216-0
- MathSciNet review: 1398816