March 28
Stefan Hoffelner,
TU Wien
The global $\Sigma^1_{n+2}$-Uniformization Property and $\mathsf{BPFA}$
We show that, given a reflecting cardinal, one can generically produce a universe of $\mathsf{BPFA}$ in which additionally the $\Sigma^1_{n+2}$-uniformization property holds for every $n$ simultaneously.