Algebra Seminar talk
2025-05-09
Stefan Hoffelner
The global $\Sigma^1_{n+2}$-Uniformization Property and $\mathsf{BPFA}$
Abstract:
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.