Difference between revisions of "Kanovei's question"

From Peano's Parlour
Jump to: navigation, search
(Created page with "Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$?")
 
(Blanked the page)
 
(3 intermediate revisions by the same user not shown)
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$?
+
 

Latest revision as of 12:43, 23 January 2013