Strongly adequate sets and adding a club with finite conditions

Abstract

We continue the study of adequate sets which we began in (Krueger in Forcing with adequate sets of models as side conditions) by introducing the idea of a strongly adequate set, which has an additional requirement on the overlap of two models past their comparison point. We present a forcing poset for adding a club to a fat stationary subset of ω 2 with finite conditions, thereby showing that a version of the forcing posets of Friedman (Set theory: Centre de Recerca Matemàtica, Barcelona, 2003–2004, Trends in Mathematics. Birkhäuser Verlag, 2006) and Mitchell (Trans Am Math Soc 361(2):561601, 2009) for adding a club on ω 2 can be developed in the context of adequate sets.