Difference between revisions of "Kanovei's question"
From Peano's Parlour
| Line 4: | Line 4: | ||
== Woodin's question == | == Woodin's question == | ||
| − | If $\ | + | If $\mathfrak X$ is a Borel Scott set, is there a Borel model $M\models PA$ whose standard system is $\mathfrak X$? |
Revision as of 07:05, 20 January 2013
Is there a Borel model $M\models PA$ whose standard system is the power set of $\omega$?
Woodin's question
If $\mathfrak X$ is a Borel Scott set, is there a Borel model $M\models PA$ whose standard system is $\mathfrak X$?
