Strongly adequate sets and adding a club with finite conditions

DOI10.1007/S00153-013-0358-3MaRDI QIDQ2436611zbMATH OpenOpenAlexFDO

Authors John Krueger

Publication date 25 February 2014

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-013-0358-3

zbMATH Keywords

adequate setsclub setforcingside conditionsstationary setstrongly adequate sets

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Review text

\textit{W. J. Mitchell} [Trans. Am. Math. Soc. 361, No. 2, 561--601 (2009; Zbl 1179.03048)] and \textit{S.-D. Friedman} [in: Set theory. Centre de Recerca Matemàtica Barcelona, 2003--2004. Basel: Birkhäuser. 285--295 (2006; Zbl 1113.03045)] independently introduced forcing posets which add a club to a fat stationary subset of \(\omega_2\) with finite conditions,using countable models as side conditions. A stationary set \(S \subseteq \omega_2\) is fat if for every club \(D \subseteq \omega_2\), \(S \cap D\) contains a closed subset of order type \(\omega_1 +1\). Here, the author obtains this result using his method of adequate sets. For this, he introduces strongly adequate sets which satisfy an additional requirement on the overlap of two models past their comparison points.

Recommendations

• Adding a club with finite conditions. II
• Forcing with adequate sets of models as side conditions
• Coherent adequate forcing and preserving CH
• Coherent adequate sets and forcing square
• Forcing closed unbounded sets

Cites work

• Forcing with adequate sets of models as side conditions
• Forcing with sequences of models of two types
• scientific article; zbMATH DE number 5130974 (Why is no real title available?)
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

Cited in

(10)

• Adding a club with finite conditions. II
• Thin stationary sets and disjoint club sequences
• Internally club and approachable for larger structures
• Forcing closed unbounded sets
• MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
• Forcing with adequate sets of models as side conditions
• Mitchell's theorem revisited
• Proper forcing remastered
• Coherent adequate sets and forcing square
• scientific article; zbMATH DE number 5236181 (Why is no real title available?)

This page was built for publication: Strongly adequate sets and adding a club with finite conditions

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