Coherent Adequate Sets and Forcing Square
Logic
2014-06-13 v1
Abstract
We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on using finite conditions.
Cite
@article{arxiv.1406.3309,
title = {Coherent Adequate Sets and Forcing Square},
author = {John Krueger},
journal= {arXiv preprint arXiv:1406.3309},
year = {2014}
}