Modern Forcing Techniques related to Finite Support Iteration: Ultrapowers, templates, and submodels
Joerg Brendle · arXiv (Cornell University) · 2021
This is an expository paper about several sophisticated forcing techniques closely related to standard finite support iterations of ccc partial orders. We focus on the four topics of ultrapowers of forcing notions, iterations along templates, Boolean ultrapowers of forcing notions, and restrictions of forcing notions to elementary submodels.