50:01
published on November 22, 2025
Manifold classification from the descriptive viewpoint
By Jeffrey Bergfalk
Appears in collection : XVIII International Workshop in Set Theory / XVIII Atelier International de Théorie des Ensembles
An old project in set theory is to force the tree property at every regular cardinal above $\omega_1$. We present the current state of the art towards it, by obtaining the tree property at every regular in the interval $\left[\omega_2, \aleph_{\omega^2+3}\right]$. This is the first construction where the tree property holds across a singular strong limit. This is joint work with Cummings, Hayut, Magidor, Neeman, and Unger.