Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields (Q2391565)

Consider a number field \(K\) with the property that there is an elliptic curve of rank 1 defined over \(K\) (as observed by the authors, if the Shafarevich-Tate conjecture is true, we could start with ``consider a number field \(K\)''). Given a positive integer \(t > 1\) and \(t\) nonnegative computable numbers \(\delta_1\), \(\dots\), \(\delta_t\) whose sum is one, the nonarchimedean primes in \(K\) can be partitioned into \(t\) disjoint recursive subsets \(S_1\), \(\dots\), \(S_t\) of densities \(\delta_1\), \(\dots\), \(\delta_t\) such that Hilbert's Tenth Problem is undecidable for the rings \({\mathcal O}_{K, S_i}\) and those rings possess infinite diophantine sets which are discrete in every topology of the field. This result continues a series of similar results published by the third author in different publications, which together (reviewer's opinion) deserve the generic name \textit{Shlapentokh Constructions}.