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.

  • $\begingroup$ Have you seen examples that do not satisfy the definition of "fat" given below? $\endgroup$ Feb 11, 2018 at 22:13
  • 1
    $\begingroup$ @MonroeEskew any non-reflecting stationary subset of $[\omega_2]^\omega$ is not fat. $\endgroup$
    – Jing Zhang
    Feb 12, 2018 at 22:31
  • $\begingroup$ I mean examples of shootable sets. $\endgroup$ Feb 12, 2018 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, 2018 at 16:21
  • $\begingroup$ Is it clear that the complement of $S$ does not satisfy the definition of "fat"? $\endgroup$
    – Jing Zhang
    Feb 14, 2018 at 19:14

1 Answer 1


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, 2018 at 7:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.