Article contents
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$
Published online by Cambridge University Press: 21 July 2020
Abstract
We show that the set of natural numbers has an exponential diophantine definition in the rationals. It follows that the corresponding decision problem is undecidable.
- Type
- Articles
- Information
- Copyright
- © The Association for Symbolic Logic 2020
References
REFERENCES
Dickson, L. E., History of the Theory of Numbers, vol. 2, Carnegie Institute, Washington, 1919; reprinted by Chelsea, New York, 1966.Google Scholar
Davis, M., Putnam, H. and Robinson, J.,
The decision problem for exponential diophantine equations
. Annals of Mathematics, vol. 74 (1961), no. 3, pp. 425–436.CrossRefGoogle Scholar
- 1
- Cited by