Kanovei's question

From Peano's Parlour
Revision as of 07:05, 20 January 2013 by Rkossak (Talk | contribs)

Jump to: navigation, search

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


Woodin's question

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