Modern Forcing Techniques related to Finite Support Iteration: Ultrapowers, templates, and submodels
Logic
2022-02-03 v2
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.
Keywords
Cite
@article{arxiv.2101.11494,
title = {Modern Forcing Techniques related to Finite Support Iteration: Ultrapowers, templates, and submodels},
author = {Joerg Brendle},
journal= {arXiv preprint arXiv:2101.11494},
year = {2022}
}
Comments
34 pages. Revised version. New title. Major changes in sections 1 and 2