Difference between revisions of "Kanovei's question"

Revision as of 08:05, 20 January 2013

Is there a Borel model $M\models PA$ whose standard system is the power set of $\omega$ ?

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 05:52, 20 January 2013 (view source) Rkossak (Talk \| contribs) ← Older edit		Revision as of 08:05, 20 January 2013 (view source) Rkossak (Talk \| contribs) Newer edit →
Line 4:		Line 4:
	== Woodin's question ==		== 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$?	+	If $\mathfrak X $is a Borel Scott set, is there a Borel model$ M\models PA $whose standard system is$ \mathfrak X$?