As easy as ℚ: Hilbert’s Tenth Problem for subrings of the rationals and number fields
Kirsten Eisenträger, Russell Miller, Jennifer M. Park, Alexandra Shlapentokh · Transactions of the American Mathematical Society · 2016
Hilbert’s Tenth Problem over the rationals is one of the biggest open problems in the area of undecidability in number theory. In this paper we construct new, computably presentable subrings R ⊆ Q R \subseteq \mathbb {Q} having the property that Hilbert’s Tenth Problem for R R , denoted HTP ( R ) \operatorname {HTP}(R) , is Turing equivalent to HTP ( Q ) \operatorname {HTP}(\mathbb {Q}) . We are able to put several additional constraints on the rings R R that we construct. Given any computable nonnegative real number r ≤ 1 r\leq 1 we construct such rings R = Z [ S − 1 ] R=\mathbb {Z}[\mathcal {S}^{-1}] with S \mathcal {S} a set of primes of lower density r r . We also construct examples of rings R R for which deciding membership in R R is Turing equivalent to deciding HTP ( R ) \operatorname {HTP}(R) and also equivalent to deciding