I was invited to give a series of talks in the Baltic Set Theory Seminar, an online seminar organized by Grigor Sargsyan. The schedule as well as the zoom link appears on the seminar webpage.
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.