A diophantine definition of integers in
β
Alexandra Shlapentokh
π
Article
π
1991
π
John Wiley and Sons
π
English
β 568 KB
## 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.