Kanovei's question
From Peano's Parlour
Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$?
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$?
