Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
From MaRDI portal
Publication:1256452
DOI10.1007/BF01091549zbMath0404.03036MaRDI QIDQ1256452
Publication date: 1977
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Related Items
A common approach to three open problems in number theory, Towards finite-fold Diophantine representations, On existential definitions of c.e. subsets of rings of functions of characteristic 0, Martin Davis and Hilbert’s Tenth Problem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The decision problem for exponential diophantine equations
- Extensions and corollaries of recent work on Hilbert's tenth problem
- An unsolvable problem in number theory
- Hilbert's Tenth Problem is Unsolvable
- Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
- An explicit diophantine definition of the exponential function
- DIOPHANTINE SETS
- Existential Definability in Arithmetic
- Arithmetical problems and recursively enumerable predicates