Abstract
We define a forcing poset which adds a club subset of a given fat stationary set \({S \subseteq \omega_2}\) with finite conditions, using S-adequate sets of models as side conditions. This construction, together with the general amalgamation results concerning S-adequate sets on which it is based, is substantially shorter and simpler than our original version in Krueger (Arch Math Logic 53(1–2):119–136, 2014).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Friedman, S.D.: Forcing with finite conditions. In: Set Theory: Centre de Recerca Matemà àtica, Barcelona, 2003–2004, Trends in Mathematics, pp. 285–295. Birkhäuser Verlag, Berlin (2006)
Krueger, J.: Forcing with adequate sets of models as side conditions (Submitted)
Krueger J.: Strongly adequate sets and adding a club with finite conditions. Arch. Math. Logic 53(1–2), 119–136 (2014)
Krueger, J., Mota, M.A.: Coherent adequate forcing and preserving CH (Submitted)
Mitchell W.: I[ω 2] can be the nonstationary ideal on Cof(ω 1). Trans. Am. Math. Soc. 361(2), 561–601 (2009)
Neeman I.: Forcing with sequences of models of two types. Notre Dame J. Form. Log. 55(2), 265–298 (2014)
Todorčević, S.: A note on the proper forcing axiom. In: Axiomatic set theory (Boulder, Colo., 1983), vol. 31 of Contemp. Math., pp 209–218. Am. Math. Soc., Providence, RI, (1984)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Krueger, J. Adding a club with finite conditions, Part II. Arch. Math. Logic 54, 161–172 (2015). https://doi.org/10.1007/s00153-014-0406-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0406-7