迭代 κ-恰当力迫中坍缩 κ^+ 的显式例子
逻辑
2018-08-07 v1
摘要
我们给出一个长度为 omega 的迭代例子,由 (<kappa)-完全的 κ^+-cc 力迫概念组成,其极限坍缩 κ^+。该构造译自 Shelah [Proper and Improper Forcing, Appendix, Theorem 3.6(1)] 的证明。
引用
@article{arxiv.1808.01636,
title = {Explicit example of collapsing kappa^+ in iteration of kappa-proper forcings},
author = {Andrzej Roslanowski},
journal= {arXiv preprint arXiv:1808.01636},
year = {2018}
}