Coherent adequate sets and forcing square

@article{JohnKrueger2014,
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.},
author = {John Krueger},
journal = {Fundamenta Mathematicae},
keywords = {adequate set; coherent adequate set; models as side conditions; square sequence},
language = {eng},
number = {3},
pages = {279-300},
title = {Coherent adequate sets and forcing square},
url = {http://eudml.org/doc/282980},
volume = {224},
year = {2014},
}

TY - JOUR
AU - John Krueger
TI - Coherent adequate sets and forcing square
JO - Fundamenta Mathematicae
PY - 2014
VL - 224
IS - 3
SP - 279
EP - 300
AB - 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.
LA - eng
KW - adequate set; coherent adequate set; models as side conditions; square sequence
UR - http://eudml.org/doc/282980
ER -