The Hilbert's-tenth-problem operator

DOI10.1007/s11856-019-1833-2zbMath1453.03047arXiv1712.08686OpenAlexW2963475375WikidataQ128592581 ScholiaQ128592581MaRDI QIDQ2414521

Kenneth Kramer, Russell G. Miller

Publication date: 17 May 2019

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

reductionoperatordefinabilityTuring reducibilityjumpDiophantine equationHilbert's tenth problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Diophantine equations in many variables (11D72) Theory of numerations, effectively presented structures (03D45)

Related Items

HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ Non-coding enumeration operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for exponential diophantine equations
• Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q
• As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields
• Definability and decision problems in arithmetic
• Defining \(\mathbb Z\) in \(\mathbb Q\)

This page was built for publication: The Hilbert's-tenth-problem operator