Forcing __1 with finite conditions

DOI10.1016/J.APAL.2012.09.002zbMATH Open1291.03084arXiv1010.0327OpenAlexW2205991254MaRDI QIDQ1759367FDOQ1759367

Authors: Gregor Dolinar, Mirna Džamonja 

Publication date: 20 November 2012

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

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

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

zbMATH Keywords

forcingsquare principlefinite conditions

Mathematics Subject Classification ID

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

Cited In (6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1759367)