Existence of noneffectivizable estimates in the theory of exponential Diophantine equations

DOI10.1007/BF01091549MaRDI QIDQ1256452zbMATH OpenFDO

Authors Yu. Matiyasevich

Publication date 1977

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

Full work available at URL https://doi.org/10.1007/BF01091549

zbMATH Keywords

Exponential Diophantine EquationNon-Effectivizable EstimateRecursion Theory

Mathematics Subject Classification ID

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

Cites work

• An explicit diophantine definition of the exponential function
• An unsolvable problem in number theory
• Arithmetical problems and recursively enumerable predicates
• Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
• DIOPHANTINE SETS
• Existential Definability in Arithmetic
• Extensions and corollaries of recent work on Hilbert's tenth problem
• Hilbert's Tenth Problem is Unsolvable
• scientific article; zbMATH DE number 3494398 (Why is no real title available?)
• scientific article; zbMATH DE number 3351674 (Why is no real title available?)
• scientific article; zbMATH DE number 3377222 (Why is no real title available?)
• The decision problem for exponential diophantine equations

Cited in

(5)

• On existential definitions of c.e. subsets of rings of functions of characteristic 0
• Martin Davis and Hilbert's tenth problem
• Towards finite-fold Diophantine representations
• A common approach to three open problems in number theory
• On Diophantine singlefold specifications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1256452)