Hilbert’s Tenth Problem

DOI10.1090/stml/088zbMath1454.03003OpenAlexW4235104821MaRDI QIDQ5382874

M. Ram Murty, Brandon Fodden

Publication date: 19 June 2019

Published in: The Student Mathematical Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/stml/088

zbMATH Keywords

set theorylogicrecursive functionsHilbert's problemsincompleteness theorems

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Axiomatics of classical set theory and its fragments (03E30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40) Computability and recursion theory (03Dxx)

Related Items (2)

Existential definability and diophantine stability ⋮ On some algebraic ways to calculate zeros of the Riemann zeta function

This page was built for publication: Hilbert’s Tenth Problem