Forcing \(\square_{\omega_1}\) with finite conditions

DOI10.1016/j.apal.2012.09.002zbMath1291.03084arXiv1010.0327OpenAlexW2205991254MaRDI QIDQ1759367

Gregor Dolinar, Mirna Dzamonja

Publication date: 20 November 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1010.0327

zbMATH Keywords

forcingsquare principlefinite conditions

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other combinatorial set theory (03E05)

Related Items (5)

The approachability ideal without a maximal set ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ Two applications of finite side conditions at \(\omega _2\) ⋮ Forcing with adequate sets of models as side conditions ⋮ A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS

This page was built for publication: Forcing \(\square_{\omega_1}\) with finite conditions