Difference between revisions of "Kanovei's question"
From Peano's Parlour
(Created page with "Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$?") |
|||
| Line 1: | Line 1: | ||
Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$? | Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$? | ||
| + | |||
| + | |||
| + | == Woodin's question == | ||
| + | |||
| + | If $\mathcal X$ is a Borel Scott set, is there a Borel model $M\models PA$ whose standard system is $\mathcal X$? | ||
Revision as of 09:03, 18 January 2013
Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$?
Woodin's question
If $\mathcal X$ is a Borel Scott set, is there a Borel model $M\models PA$ whose standard system is $\mathcal X$?
