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
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
TLDR
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
TLDR
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
TLDR
Read Mapping Through Hardware/Software Co-design Through hardware/ software co-design is explored through hardware-based and software-based approaches.

References

SHOWING 1-10 OF 12 REFERENCES
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
Hilbert's Tenth Problem and Mazur's Conjecture for large subrings of $\mathbb{Q}$
We give the first examples of infinite sets of primes S such that Hilbert's Tenth Problem over Z[S^{-1}] has a negative answer. In fact, we can take S to be a density 1 set of primes. We show also
Definability and Decision Problems in Arithmetic
  • J. Robinson
  • Mathematics, Computer Science
    J. Symb. Log.
  • 1949
TLDR
It is shown that both addition and multiplication can be defined arithmetically in terms of successor and the relation of divisibility | (where x|y means x divides y ).
Defining Z in Q
We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$
Characterizing integers among rational numbers with a universal-existential formula
We prove that ${\Bbb Z}$ in definable in ${\Bbb Q}$ by a formula with two universal quantifiers followed by seven existential quantifiers. It follows that there is no algorithm for deciding, given an
A Course in Arithmetic
Part 1 Algebraic methods: finite fields p-adic fields Hilbert symbol quadratic forms over Qp, and over Q integral quadratic forms with discriminant +-1. Part 2 Analytic methods: the theorem on
The Decision Problem for Exponential Diophantine Equations
Decidability of the Almost All Theory of Degrees
Matijasevič. The Diophantineness of enumerable sets
  • Dokl. Akad. Nauk SSSR,
  • 1970
Randomness and Genericity in the Degrees of Unsolvability
  • Ph.D. thesis, University of Illinois at Urbana-Champaign,
  • 1981
...
...