Difference between revisions of "Kanovei's question"

Revision as of 05:52, 20 January 2013

Is there a Borel model $M\models PA$ whose standard system 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$ ?

Revision as of 10:03, 18 January 2013 (view source) Rkossak (Talk \| contribs) ← Older edit		Revision as of 05:52, 20 January 2013 (view source) Rkossak (Talk \| contribs) Newer edit →
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$ ?	+	Is there a Borel model $M\models PA$ whose standard system is the power set of $\omega$ ?