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
- 1
- Cited by