Decision problems for exponential rings: The p-adic case

  • Angus Macintyre
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)


Basic Algebra Completeness Theorem Finite Extension Positive Identity Finiteness Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [A]
    Y. Amice, Les Nombres P-adiques, Presses Universitaires de France, 1975.Google Scholar
  2. [De]
    J. Denef, The rationality of the Poincaré series associated to the p-adic points on a variety, preprint, Leuven, 1983.Google Scholar
  3. [Dl]
    L. van den Dries, Exponential rings, exponential polynomials and exponential functions, to appear in Pacific Journal.Google Scholar
  4. [D2]
    —, Real analytic Hardy fields and exponentially definable subsets of the plane, to appear in American Journal.Google Scholar
  5. [H]
    A.G. Hovanskii, On a class of systems of transcendental equations, translated in Soviet Math. Doklady 22 (1980), 762–765.Google Scholar
  6. [HR]
    W. Henson and L. Rubel, preprint, Urbana 1982.Google Scholar
  7. [L]
    D.J. Lewis, Diophantine equations: p-adic methods, 25–75 in Studies in Number Theory, (W.J. LeVeque, editor) MAA 1969.Google Scholar
  8. [Ml]
    A. Macintyre, On definable subsets of p-adic fields, J.S.L. 41 (1976), 605–610.Google Scholar
  9. [M2]
    —, The laws of exponentiation, Springer Lecture Notes 890 (1979), 185–198.Google Scholar
  10. [R]
    D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr fur Math. Logik 15 (1969), 333–360.Google Scholar
  11. [W]
    A. Wilkie, preprint, Yale, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Angus Macintyre
    • 1
  1. 1.Department of MathematicsYale UniversityNew Haven

Personalised recommendations