7
$\begingroup$

What is known about prime numbers in nonstandard models of PA?

Restricted to true natural numbers the sets are identical, but does there always exist nonstandard primes? Can we explicitly define one in some model?

3 Answers 3