与有限支撑迭代相关的现代力迫技术：超幂、模板与子模型
逻辑
2022-02-03 v2
摘要
这是一篇关于若干与 ccc 偏序集的标准有限支撑迭代密切相关的复杂力迫技术的综述性论文。我们聚焦于四个主题：力迫概念的超幂、沿模板的迭代、力迫概念的布尔超幂，以及力迫概念在初等子模型上的限制。
引用
@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}
}
备注
34 pages. Revised version. New title. Major changes in sections 1 and 2