Undecidability in Number Theory

DOI10.1007/978-3-642-54936-6_5zbMath1347.03081arXiv1309.0441OpenAlexW1651628549MaRDI QIDQ5256624

Jochen Koenigsmann

Publication date: 19 June 2015

Published in: Model Theory in Algebra, Analysis and Arithmetic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.0441

zbMATH Keywords

Gödel's first incompleteness theoremHilbert's 10th problemundecidability results in number theory

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Gödel numberings and issues of incompleteness (03F40)

Related Items (7)

Definability of the natural numbers in totally real towers of nested square roots ⋮ Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ A note on the Northcott property and undecidability ⋮ Undecidability of ℚ⁽²⁾ ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

This page was built for publication: Undecidability in Number Theory