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

by Angus Macintyre, David Marker
Venue:Annals of Pure and Applied Logic 43