2008/10/29 by Bernhard Irrgang, Irrgang, Bernhard
Mathematics · Decision Sciences · Computer Science · #Advanced Topology and Set Theory #Fuzzy and Soft Set Theory #Matrix Theory and Algorithms
paper · pdf · doi:10.48550/arxiv.0810.5217
We introduce a method of constructing a forcing along a simplified (κ,1)-morass such that the forcing satisfies the κ-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain condition. As an application, we construct a ccc forcing that adds an ω2-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's ρ-functions.