Jensen’s forcing at an inaccessible

This is a talk at the Rutgers Logic Seminar, Rutgers University, April 10, 2023.
Slides

The talk is similar to the talk in this post.