Explicit example of collapsing kappa^+ in iteration of kappa-proper forcings

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)].

References in corpus (2)

• Reasonably complete forcing notions
• More about lambda-support iterations of <lambda-complete forcing notions