Skip to main content
1 of 3
Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17

On models of $Th_{\Pi_2}(PA)$

Let $M$ be a nonstandard model of $PA$.

Q1. Is there any way to get a submodel $N\subset M$ such that $N\models Th_{\Pi_2}(PA)$, but $N\not\models PA$?

Q2. Especially, what combinatorial principle can be used to construct a model $N\models Th_{\Pi_2}(PA)$ such that $N\not\models PA$?

Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17