Kanovei's question

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$?