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

Recently I'm thinking about below 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 provebe proved or disprovedisproved?

Thanks.

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.

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.

Source Link
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.