Hilbert's Tenth Problem and the Independence of Recursive Difference
From MaRDI portal
Publication:4087159
DOI10.1112/jlms/s2-10.2.175zbMath0324.02031MaRDI QIDQ4087159
Publication date: 1975
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-10.2.175
11U05: Decidability (number-theoretic aspects)
03D20: Recursive functions and relations, subrecursive hierarchies
03D80: Applications of computability and recursion theory
11D99: Diophantine equations
Related Items
On the generalized virial theorem for systems with variable mass, Planck oscillators in the background dark energy, A note on the characterization of gravitation, The Planck oscillators and the black hole thermodynamics correspondence, On the generalized virial theorem and Eshelby tensors, Definability, decidability, complexity, Planck oscillators and gravitation