Morasses and finite support iterations

Date
Authors
Irrgang, Bernhard
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
We introduce a method of constructing a forcing along a simplified $(\kappa,1)$-morass such that the forcing satisfies the $\kappa$-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 $\omega_2$-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's $\rho$-functions.
Comment: accepted for the Proceedings of the AMS
Keywords
Mathematics - Logic, 03E05, 03E35, 03E40
Citation
Collections