Kanovei's question
From Peano's Parlour
Revision as of 09:01, 18 January 2013 by Rkossak (Talk | contribs) (Created page with "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$ such that the standard system of $M$ is the power set of $\omega$?
