The global ${\Sigma }_{n+1}^1$-Uniformization Property and $\mathsf{BPFA}$

Stefan Hoffelner

We show that given a reflecting cardinal, one can produce a model of $\mathsf{BPFA}$ where the ${\Sigma }_n^1$-uniformization property holds simultaneously for all $n\ge 2$.