Coherent adequate sets and forcing square

DOI10.4064/FM224-3-5zbMATH Open1336.03055arXiv1406.3309OpenAlexW2963463308MaRDI QIDQ5407568FDOQ5407568

John Krueger

Publication date: 7 April 2014

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on $omeg{a}_2$ using finite conditions.

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

Recommendations

• Coherent adequate forcing and preserving CH
• Forcing with adequate sets of models as side conditions
• Strongly adequate sets and adding a club with finite conditions
• Two applications of finite side conditions at \(\omega _2\)
• Forcing with sequences of models of two types

zbMATH Keywords

models as side conditionssquare sequenceadequate setcoherent adequate set

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Cited In (8)

• 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
• Quotients of strongly proper forcings and guessing models
• A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS
• Mitchell's theorem revisited
• Title not available (Why is that?)
• Coherent adequate forcing and preserving CH

This page was built for publication: Coherent adequate sets and forcing square

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