On the structure of stationary sets (Q995720)

This paper investigates relationships between various types of stationary subsets of~\([\kappa]^\omega\) for various~\(\kappa\) (larger than~\(\aleph_1\)). These are club, local club, full, projective, reflective and spanning (for definitions consult the paper). Under the Weak Reflection Principle, which states that for every stationary set~\(S\subseteq[\kappa]^\omega\) there exists a set \(X\) of size \(\aleph_1\) such that \(\omega_1\subseteq X\) and \(S\cap[X]^\omega\) is stationary, we obtain two groups of three equivalent notions. There are also connections with semiproper and stationarity-preserving forcing notions, e.g., \(S\) is spanning iff \(P_S\) is semiproper, where \(P_S\) shoots an \(\omega_1\)-chain through~\(S\), and it it stationarity-preserving iff \(S\)~is projective. The paper is worth reading.