I am invited to give a series of talks in the Baltic Set Theory Seminar, an online seminar organized by Grigor Sargsyan. I will start when Sargsyan finished his lectures on Neeman’s Determinacy of $L(\mathbb{R})$, so approximately in the end of May.

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.