{"id":"arxiv/2607.23637","url":"https://arxiv.org/abs/2607.23637","tags":["math.LO"],"score":0,"title":"More notions of forcing add a square","domain":"math.LO","source":"arxiv","authors":["Yair Hayut","Assaf Rinot","Zhixing You"],"reviews":0,"subject":"math.LO","summary":"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, we show that $\\mathbb P$ may consistently be realized as an $\\aleph_2$-Souslin tree. More generally, we prove that $\\square_λ$ may be added by a $λ^+$-Souslin tree, providing the first analog of the Foreman--Magidor forcing at the level of successors of singular cardinals. Our construction is uniform and extends to inaccessible cardinals as well.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}