Strongly adequate sets and adding a club with finite conditions (Q2436611)

\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.