Hostname: page-component-7b7567c8c-7pwfn Total loading time: 0 Render date: 2026-11-12T19:01:45.547Z Has data issue: false hasContentIssue false
  • English
  • Français

THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$

Part of:Diophantine equationsArithmetic problems. Diophantine geometry

Published online by Cambridge University Press:  21 July 2020

MIHAI PRUNESCU
MIHAI PRUNESCU*
Affiliation:
FACULTY OF MATHEMATICS AND INFORMATICS UNIVERSITY OF BUCHAREST, BUCHAREST, ROMANIA and SIMION STOILOW INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY RESEARCH UNIT 5, P.O. BOX 1–764 RO-014700 BUCHAREST, ROMANIA E-mail: mihai.prunescu@imar.ro E-mail: mihai.prunescu@gmail.com
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Keywords

exponential diophantine equationsrational numbersdecision problemsundecidability

MSC classification

Primary:11D61: Exponential equations
Secondary:14G05: Rational points

Information

Type
Articles
Information
The Journal of Symbolic Logic , Volume 85 , Issue 2 , June 2020, pp. 671 - 672
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
Matiyasevich, Y., Hilbert’s Tenth Problem, MIT Press, Cambridge, MA, 1993.Google Scholar