A diophantine definition of integers in the rings of rational numbers
Alexandra Shlapentokh · Communications on Pure and Applied Mathematics · 1991
Abstract The author considers rings of rational numbers which are integral at all the primes except, possibly, primes contained in a finite set. In such rings a Diophantine definition of ℤ is constructed to show that all the recursively enumerable subsets of the ring are Diophantine.