Skip to main content
2 of 2
added 5 characters in body
Ali Enayat
  • 17.7k
  • 2
  • 63
  • 105

End Extension models of $I\Delta_0$

Recently I'm thinking about question below, 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 be proved or disproved?

Thanks.

Erfan Khaniki
  • 1.7k
  • 1
  • 11
  • 17