I was invited to give a talk at the Münster conference on inner model theory that took place June 20 - July 1, 2022.
A stationary-tower-free proof of Woodin’s Sealing Theorem
I will present a proof of $\mathsf{Sealing}$ from a supercompact and a class of Woodin cardinals using genericity iterations. The proof is joint work with Sargsyan and Wcisło, and builds on the work of Sargsyan-Trang.