|
Zapiski Nauchnykh Seminarov POMI, 2010, Volume 377, Pages 78–90
(Mi znsl3816)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
Towards finite-fold Diophantine representations
Yu. Matiyasevich St. Petersburg Department of the Steklov Mathematical Institute, St. Petersburg, Russia
Abstract:
Celebrated theorem established by Martin Davis, Hilary Putnam, and Julia Robinson in 1961 states that every effectively enumerable set of natural numbers has an exponential Diophantine representation. This theorem was improved by the author in two ways:
$\bullet$ to the existence of Diophantine representation,
$\bullet$ to the existence of so-called single-fold exponential Diophantine representation.
However, it remains unknown whether these two improvements could be combined, that is, whether every effectively enumerable set has a single-fold (or at least finite-fold) Diophantine representation.
In the paper, we discuss known results about single-fold exponential Diophantine representations, their applications, possible approaches to improving to the case of genuine Diophantine representations, and what would follow if such improvement is impossible. Bibl. 27 titles.
Key words and phrases:
single-fold Diophantine represtations, Diophantine equations with finitely many solutions.
Received: 10.05.2010
Citation:
Yu. Matiyasevich, “Towards finite-fold Diophantine representations”, Studies in number theory. Part 10, Zap. Nauchn. Sem. POMI, 377, POMI, St. Petersburg, 2010, 78–90; J. Math. Sci. (N. Y.), 171:6 (2010), 745–752
Linking options:
https://www.mathnet.ru/eng/znsl3816 https://www.mathnet.ru/eng/znsl/v377/p78
|
Statistics & downloads: |
Abstract page: | 401 | Full-text PDF : | 137 | References: | 56 |
|