and their residue rings in models of open induction (1989)

by A Macintyre, D Marker, Primes
Venue:Annals of Pure and Applied Logic 43