paper

Forcing Square_{omega_1} with finite conditions

arXiv:1010.0327

Abstract

We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.