Let $\lambda\geq \omega_2$ be a regular cardinal and $S\subset[\lambda]^\omega$ be a stationary set. I'm looking for a property of $S$, say "shootable", such that there exists a forcing extension preserving $\lambda, \omega_1$ as cardinals that shoots a club into $S$. I've encountered ad hoc examples, but I'd really hope if there are more explicit descriptions of a stationary set being "shootable" and given that a canonically defined reasonable forcing to shoot a club through it. I'm flexible with any cardinal arithmetic assumptions.
7

$\begingroup$ Have you seen examples that do not satisfy the definition of "fat" given below? $\endgroup$ – Monroe Eskew Feb 11 '18 at 22:13

1$\begingroup$ @MonroeEskew any nonreflecting stationary subset of $[\omega_2]^\omega$ is not fat. $\endgroup$ – Jing Zhang Feb 12 '18 at 22:31

$\begingroup$ I mean examples of shootable sets. $\endgroup$ – Monroe Eskew Feb 12 '18 at 22:58

1$\begingroup$ @MonroeEskew Usuba's "Reflection principles for $\omega_2$ and the semistationary reflection principle" has another example, ultimately derived from some ideas of Sakai and Krueger. He shows that if there is a "nonreflecting ladder system" $\vec{d}$ for $\omega_2 \cap \text{cof}(\omega)$ and $S$ is a nonreflecting stationary set of $x \in [\omega_2]^\omega$ such that $d_{\text{sup}(x)} \subset x$, there is a way to kill stationarity of $S$ while preserving $\omega_1$. If CH holds then $\omega_2$ is also preserved. $\endgroup$ – Sean Cox Feb 14 '18 at 16:21

$\begingroup$ Is it clear that the complement of $S$ does not satisfy the definition of "fat"? $\endgroup$ – Jing Zhang Feb 14 '18 at 19:14
6
$\begingroup$
$\endgroup$
There is a notion of fat stationary subset of $P_\kappa(\lambda)$ and a natural forcing for shooting a club through it, that you can find in the thesis Fat subsets of $P_{\kappa}(\lambda)$ by Ivan Zaigralin. In particular look at chapter 2 of the thesis.

$\begingroup$ I noticed that the thesis uses the Jech definition for clubs, and while this is fine for the case in question ($\kappa=\omega$), I seem to recall that this is weaker than the algebraic definition in general. $\endgroup$ – Asaf Karagila Feb 8 '18 at 7:08