# MEASURE THEORY AND HILBERT’S TENTH PROBLEM INSIDE ℚ

```@inproceedings{Miller2017MEASURETA,
title={MEASURE THEORY AND HILBERT’S TENTH PROBLEM INSIDE ℚ},
author={Russell G. Miller},
year={2017}
}```
For a ring R, Hilbert’s Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. When R = Z, it is known that the jump Z′ is Turing-reducible to HTP(Z). We consider computability of HTP(R) for subrings R of the rationals. Applying measure theory to these subrings, which naturally form a measure space, relates their sets HTP(R) to the set HTP(Q), whose decidability remains an open question. We raise the question of the measure of the topological…
On Hilbert’s tenth problem over subrings of Q
For a subring R of the rationals Q, Hilbert’s tenth problem over R, denoted by HTP(R), is the set of multivariate polynomial equations with integer coefficients which has a solution in R. The
The Hilbert’s-Tenth-Problem Operator
• Mathematics
Israel Journal of Mathematics
• 2019
For a ring R, Hilbert’s Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We view HTP as an operator, mapping each set W of prime numbers to
Baire category theory and Hilbert ’ s Tenth Problem inside Q
For a ring R, Hilbert’s Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We consider computability of this set for subrings R of the
J ul 2 01 9 HTP-Complete Rings of Rational Numbers
For a ring R, Hilbert’s Tenth Problem HTP (R) is the set of polynomial equations over R, in several variables, with solutions in R. We view HTP as an enumeration operator, mapping each set W of prime
Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q
The main result is that, for an arbitrary set C, HTP\((\mathbb {Q})\) computes C if and only if the subrings R for which HTP(R) compute C form a nonmeager class.
HTP-COMPLETE RINGS OF RATIONAL NUMBERS
Abstract For a ring R, Hilbert’s Tenth Problem \$HTP(R)\$ is the set of polynomial equations over R, in several variables, with solutions in R. We view \$HTP\$ as an enumeration operator, mapping
Non-coding Enumeration Operators
The properties of two specific enumeration operators, the HTP operator, mapping a set W of prime numbers to the set of polynomials realizing Hilbert’s Tenth Problem in the ring and the root operator, are considered.
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
• Computer Science
CiE
• 2020
Read Mapping Through Hardware/Software Co-design Through hardware/ software co-design is explored through hardware-based and software-based approaches.