Forcing __1 with finite conditions

DOI10.1016/J.APAL.2012.09.002zbMATH Open1291.03084OpenAlexW2205991254MaRDI 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)

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)

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

Cited in

(6)

• The approachability ideal without a maximal set
• A forcing notion collapsing \(\aleph _3 \) and preserving all other cardinals
• Forcing with adequate sets of models as side conditions
• Two applications of finite side conditions at \(\omega _2\)
• 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)