Why Y-c.c
Logic
2017-03-07 v2
Abstract
We outline a portfolio of novel iterable properties of c.c.c. and proper forcing notions and study its most important instantiations, Y-c.c. and Y-properness. These properties have interesting consequences for partition-type forcings and anticliques in open graphs. Using Neeman's side condition method it is possible to obtain PFA variations and prove consistency results for them.
Keywords
Cite
@article{arxiv.1409.4596,
title = {Why Y-c.c},
author = {David Chodounský and Jindřich Zapletal},
journal= {arXiv preprint arXiv:1409.4596},
year = {2017}
}