Forcing Square_{omega_1} with finite conditions
Logic
2016-08-14 v1
Abstract
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
Keywords
Cite
@article{arxiv.1010.0327,
title = {Forcing Square_{omega_1} with finite conditions},
author = {Gregor K. Dolinar and Mirna Džamonja},
journal= {arXiv preprint arXiv:1010.0327},
year = {2016}
}