“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 | |
