HTP-COMPLETE RINGS OF RATIONAL NUMBERS - MILLER, RUSSELL (The Journal of symbolic logic, 2022)
Keywords: 03C40; Hilbert’s Tenth Problem; 12L05; boundary sets; subrings of the rational numbers; 03D45; computability theory; HTP-completeness