Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
type: Item
instance of: scholarly article
title: Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
zbMATH Open document ID: 0404.03036
DOI: 10.1007/BF01091549
author: Yu. Matiyasevich
published in: Journal of Soviet Mathematics
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 11D99
zbMATH DE Number: 3627158
zbMATH Keywords: Non-Effectivizable Estimate
zbMATH Keywords: Exponential Diophantine Equation
zbMATH Keywords: Recursion Theory
MaRDI profile type: Publication
cites work: Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
cites work: DIOPHANTINE SETS
cites work: Hilbert's Tenth Problem is Unsolvable
cites work: Q5626750
cites work: An explicit diophantine definition of the exponential function
cites work: Q4075453
cites work: The decision problem for exponential diophantine equations
cites work: Arithmetical problems and recursively enumerable predicates
cites work: Existential Definability in Arithmetic
cites work: Q5648353
cites work: Extensions and corollaries of recent work on Hilbert's tenth problem
cites work: An unsolvable problem in number theory
description: scientific article; zbMATH DE number 3627158