Difference between revisions of "Kanovei's question"

Revision as of 10: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$ ?

If $\mathcal X$ is a Borel Scott set, is there a Borel model $M\models PA$ whose standard system is $\mathcal X$ ?

@@ 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$ ?
+== 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$ ?