Explicit example of collapsing kappa^+ in iteration of kappa-proper forcings
Logic
2018-08-07 v1
Abstract
We give an example of iteration of length omega of (<kappa)-complete kappa^+-cc forcing notions with the limit collapsing kappa^+. The construction is decoded from the proof of Shelah [Proper and Improper Forcing, Appendix, Theorem 3.6(1)].
Cite
@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}
}