Coherent adequate sets and forcing square
Tom 224 / 2014
Fundamenta Mathematicae 224 (2014), 279-300
MSC: Primary 03E40; Secondary 03E05.
DOI: 10.4064/fm224-3-5
Streszczenie
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 $\omega _2$ using finite conditions.