Abstract
The model-theoretic structure (ℝan, exp) is investigated as a special case of an expansion of the field of reals by certain families ofC ∞-functions. In particular, we use methods of Wilkie to show that (ℝan, exp) is (finitely) model complete and O-minimal. We also prove analytic cell decomposition and the fact that every definable unary function is ultimately bounded by an iterated exponential function.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
[D-vdD] J. Denef and L. van den Dries,P-adic and real subanalytic sets, Ann. Math.128 (1988), 79–138.
[vdD1] L. van den Dries,Algebraic theories with definable Skolem functions, Journal of Symbolic Logic49 (1984), 625–629.
[vdD2] L. van den Dries,A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Bull. AMS15 (1986), 189–193.
[vdD3] L. van den Dries,The elementary theory of restricted elementary functions, J. Symb. Logic53 (1988), 796–808.
[vdD-M-M] L. van den Dries, A. Macintyre and D. Marker,The elementary theory of restricted analytic fields with exponentiation, Annals of Mathematics, to appear.
[F] J. Frisch,Points de platitude d'un morphisme d'espaces analytiques, Inv. Math.4 (1967), 118–138.
[H] A. G. Hovanskii,On a class of systems of transcendental equations, Soviet Math. Dokl.22 (1980), 762–765.
[K-P-S] J. Knight, A. Pillay and C. Steinhorn,Definable sets in ordered structures. II, Trans. AMS295 (1986), 593–605.
[P-S] A. Pillay and C. Steinhorn,Definable sets in ordered structures. I, Trans. AMS295 (1986), 565–592.
[Re] J.-P. Ressayre,Integer parts of real closed exponential fields, preprint.
[Ro] M. Rosenlicht,The rank of a Hardy field, Trans. AMS280 (1983), 659–671.
[W1] A. J. Wilkie,Model completeness results for expansions of the real ordered field I: Restricted Pfaffian functions, preprint 1991.
[W2] A. J. Wilkie,Model completeness results for expansions of the real field II: the exponential function, preprint 1992.
Author information
Authors and Affiliations
Corresponding author
Additional information
An erratum to this article is available at http://dx.doi.org/10.1007/BF02762093.
Rights and permissions
About this article
Cite this article
van den Dries, L., Miller, C. On the real exponential field with restricted analytic functions. Israel J. Math. 85, 19–56 (1994). https://doi.org/10.1007/BF02758635
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02758635