Modern Forcing Techniques related to Finite Support Iteration: Ultrapowers, templates, and submodels
arXiv:2101.11494
Abstract
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.
34 pages. Revised version. New title. Major changes in sections 1 and 2