HTP-COMPLETE RINGS OF RATIONAL NUMBERS

DOI10.1017/jsl.2021.96zbMath1501.12003arXiv1907.03147OpenAlexW3216237481MaRDI QIDQ5070470

Russell G. Miller

Publication date: 12 April 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

computability theoryboundary setsHilbert's tenth problemHTP-completenesssubrings of the rational numbers

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Interpolation, preservation, definability (03C40) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Non-coding enumeration operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for exponential diophantine equations
• The Hilbert's-tenth-problem operator
• Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q
• A criterion for completeness of degrees of unsolvability
• Characterizing integers among rational numbers with a universal-existential formula
• Pseudo Jump Operators. I: The R. E. Case
• Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• MEASURE THEORY AND HILBERT’S TENTH PROBLEM INSIDE ℚ
• 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: HTP-COMPLETE RINGS OF RATIONAL NUMBERS