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

Author:
A. J. Wilkie

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

Full-text PDF Free Access

References | Similar Articles | Additional Information

- 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

Retrieve articles in *Journal of the American Mathematical Society*
with MSC (1991):
03C10

Retrieve articles in all journals with MSC (1991): 03C10

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

Article copyright:
© Copyright 1996
American Mathematical Society