Proper forcing remastered
Logic
2013-04-10 v3
Abstract
In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in \omega_2 with finite conditions, Koszmider's forcing construction of a strong chain of length \omega_2 of functions from \omega_1 to \omega_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.
Keywords
Cite
@article{arxiv.1110.0610,
title = {Proper forcing remastered},
author = {Boban Velickovic and Giorgio Venturi},
journal= {arXiv preprint arXiv:1110.0610},
year = {2013}
}
Comments
29 pages