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

Wilkie, A.

doi:10.1090/S0894-0347-96-00216-0

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