Difference between revisions of "Kanovei's question"

From Peano's Parlour
Jump to: navigation, search
(Blanked the page)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
Is there a Borel model $M\models PA$ whose standard system 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$?
 

Latest revision as of 11:43, 23 January 2013