This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Y. Amice, Les Nombres P-adiques, Presses Universitaires de France, 1975.
J. Denef, The rationality of the Poincaré series associated to the p-adic points on a variety, preprint, Leuven, 1983.
L. van den Dries, Exponential rings, exponential polynomials and exponential functions, to appear in Pacific Journal.
—, Real analytic Hardy fields and exponentially definable subsets of the plane, to appear in American Journal.
A.G. Hovanskii, On a class of systems of transcendental equations, translated in Soviet Math. Doklady 22 (1980), 762–765.
W. Henson and L. Rubel, preprint, Urbana 1982.
D.J. Lewis, Diophantine equations: p-adic methods, 25–75 in Studies in Number Theory, (W.J. LeVeque, editor) MAA 1969.
A. Macintyre, On definable subsets of p-adic fields, J.S.L. 41 (1976), 605–610.
—, The laws of exponentiation, Springer Lecture Notes 890 (1979), 185–198.
D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr fur Math. Logik 15 (1969), 333–360.
A. Wilkie, preprint, Yale, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Macintyre, A. (1983). Decision problems for exponential rings: The p-adic case. In: Karpinski, M. (eds) Foundations of Computation Theory. FCT 1983. Lecture Notes in Computer Science, vol 158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12689-9_111
Download citation
DOI: https://doi.org/10.1007/3-540-12689-9_111
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12689-8
Online ISBN: 978-3-540-38682-7
eBook Packages: Springer Book Archive