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)].
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.