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.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm224-3-5,
author = {John Krueger},
title = {Coherent adequate sets and forcing square},
journal = {Fundamenta Mathematicae},
volume = {227},
year = {2014},
pages = {279-300},
zbl = {1336.03055},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm224-3-5}
}
John Krueger. Coherent adequate sets and forcing square. Fundamenta Mathematicae, Tome 227 (2014) pp. 279-300. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm224-3-5/