Hilbert's tenth problem. An introduction to logic, number theory, and computability

DOI10.1090/STML/088MaRDI QIDQ5382874zbMATH OpenOpenAlexFDO

Authors 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

Hilbert's problemsincompleteness theoremslogicrecursive functionsset theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 42574
• Extensions of Hilbert's tenth problem: definability and decidability in number theory
• Hilbert's tenth problem. Diophantine classes and extensions to global fields
• scientific article; zbMATH DE number 3880670
• Logical number theory I. An introduction

Cited in

(12)

• Hilbert's Tenth Problem: What was done and what is to be done
• scientific article; zbMATH DE number 4035773 (Why is no real title available?)
• scientific article; zbMATH DE number 7566048 (Why is no real title available?)
• New Computational Paradigms
• Existential definability and diophantine stability
• On some algebraic ways to calculate zeros of the Riemann zeta function
• A survey of local-global methods for Hilbert's tenth problem
• Studying Hilbert's 10th problem via explicit elliptic curves
• Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
• Martin Davis: an overview of his work in logic, computer science, and philosophy
• Any function I can actually write down is measurable, right?
• On Diophantine singlefold specifications

This page was built for publication: Hilbert's tenth problem. An introduction to logic, number theory, and computability

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