Coherent adequate sets and forcing square

DOI10.4064/FM224-3-5MaRDI QIDQ5407568zbMATHOpenAlexFDO

Authors John Krueger

Publication date 7 April 2014

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

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)

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.

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

Cited in

(10)

• 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\)
• Strongly adequate sets and adding a club with finite conditions
• Coherent adequate forcing and preserving CH
• Organic and tight
• Mitchell's theorem revisited
• Quotients of strongly proper forcings and guessing models
• scientific article; zbMATH DE number 3954894 (Why is no real title available?)

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)