-
6The diophantine problem for addition and divisibility over subrings of the rationalsJournal of Symbolic Logic 82 (3): 1140-1149. 2017.It is shown that the positive existential theory of the structure, where S is a nonempty finite set of prime numbers, is undecidable. This result should be put in contrast with the fact that the positive existential theory of is decidable.