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