Skip to main content
SpringerLink
Log in

On the real exponential field with restricted analytic functions

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

An Erratum to this article was published on 01 February 1995

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • [D-vdD] J. Denef and L. van den Dries,P-adic and real subanalytic sets, Ann. Math.128 (1988), 79–138.

    Article  Google Scholar 

  • [vdD1] L. van den Dries,Algebraic theories with definable Skolem functions, Journal of Symbolic Logic49 (1984), 625–629.

    Article  MATH  MathSciNet  Google Scholar 

  • [vdD2] L. van den Dries,A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Bull. AMS15 (1986), 189–193.

    MATH  Google Scholar 

  • [vdD3] L. van den Dries,The elementary theory of restricted elementary functions, J. Symb. Logic53 (1988), 796–808.

    Article  MATH  Google Scholar 

  • [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.

    Article  MATH  MathSciNet  Google Scholar 

  • [H] A. G. Hovanskii,On a class of systems of transcendental equations, Soviet Math. Dokl.22 (1980), 762–765.

    Google Scholar 

  • [K-P-S] J. Knight, A. Pillay and C. Steinhorn,Definable sets in ordered structures. II, Trans. AMS295 (1986), 593–605.

    Article  MATH  MathSciNet  Google Scholar 

  • [P-S] A. Pillay and C. Steinhorn,Definable sets in ordered structures. I, Trans. AMS295 (1986), 565–592.

    Article  MATH  MathSciNet  Google Scholar 

  • [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.

    Article  MATH  MathSciNet  Google Scholar 

  • [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.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Illinois, 61801, Urbana, IL, USA

    Lou van den Dries & Chris Miller

Authors
  1. Lou van den Dries
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chris Miller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lou van den Dries.

Additional information

An erratum to this article is available at http://dx.doi.org/10.1007/BF02762093.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02758635

Keywords

Search

Navigation