More notions of forcing add a square

Yair Hayut, Assaf Rinot, Zhixing You

Foreman and Magidor showed that the continuum hypothesis implies the existence of a countably-closed ${\aleph }_2$-cc forcing notion $\mathbb{P}$ for adding ${\square }_{{\aleph }_1}$. Here,…