Müller, S. (2022, June 29). A stationary-tower-free proof of Woodin’s Sealing Theorem [Conference Presentation]. Münster Conference on Inner Model Theory, Germany.
A stationary-tower-free proof of Woodin’s Sealing Theorem
I will present a proof of 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.