Set Theory Seminar

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.

Video