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

by Angus Macintyre, David Marker
Venue:Ann. Pure Appl. Logic