“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 8322 | ||||||||||||||||||
|
||||||||||||||||||
| Abstract: | ||||||||||||||||||
|
Berarducci and Otero [1] have constructed a recursive nonstandard model for normal open induction with cofinal primes. We modify their method to construct a recursive nonstandard model for open induction with cofinal primes in which the GCD property also holds.
Download TeX format |
||||||||||||||||||
| back to top | ||||||||||||||||||
