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

End Extension models of $I\Delta_0$

Recently I'm thinking about below question, but I can not prove or disprove it.

Is it true that for every model $M\models I\Delta_0$ there exists a model $M'\models PA$ such that $M'$ is end extension of $M$?

How can this statement prove or disprove?

Thanks.

Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17