${\Sigma }_3^1$ sets in the Sacks model

Jonathan Schilhan

We show that in the iterated Sacks model over the constructible universe the Mansfield-Solovay Theorem holds for ${\Sigma }_3^1$ sets. In particular, every ${\mathbf{\Sigma }}_3^1$ set is Marczewski…