Morasses and finite support iterations
Logic
2008-10-30 v1
Abstract
We introduce a method of constructing a forcing along a simplified -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 -Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's -functions.
Keywords
Cite
@article{arxiv.0810.5217,
title = {Morasses and finite support iterations},
author = {Bernhard Irrgang},
journal= {arXiv preprint arXiv:0810.5217},
year = {2008}
}
Comments
accepted for the Proceedings of the AMS