Coherent adequate sets and forcing square
Fundamenta Mathematicae, Tome 224 (2014) no. 3, pp. 279-300
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
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.
Keywords:
introduce idea coherent adequate set models which side conditions forcing application define forcing poset which adds square sequence omega using finite conditions
Affiliations des auteurs :
John Krueger 1
@article{10_4064_fm224_3_5,
author = {John Krueger},
title = {Coherent adequate sets and forcing square},
journal = {Fundamenta Mathematicae},
pages = {279--300},
publisher = {mathdoc},
volume = {224},
number = {3},
year = {2014},
doi = {10.4064/fm224-3-5},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm224-3-5/}
}
John Krueger. Coherent adequate sets and forcing square. Fundamenta Mathematicae, Tome 224 (2014) no. 3, pp. 279-300. doi: 10.4064/fm224-3-5
Cité par Sources :