Forcing the ${\Pi }_n^1$-Uniformization Property

Stefan Hoffelner

We generically construct a model in which the ${\Pi }_3^1$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just…