Existence of noneffectivizable estimates in the theory of exponential Diophantine equations

DOI10.1007/BF01091549zbMath0404.03036MaRDI QIDQ1256452

Yu. V. Matiyasevich

Publication date: 1977

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

Recursion TheoryExponential Diophantine EquationNon-Effectivizable Estimate

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Diophantine equations (11D99)

Related Items (4)

On existential definitions of c.e. subsets of rings of functions of characteristic 0 ⋮ Towards finite-fold Diophantine representations ⋮ A common approach to three open problems in number theory ⋮ 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

This page was built for publication: Existence of noneffectivizable estimates in the theory of exponential Diophantine equations