Stationary diamond principle
= Stationary diamond principle
{title2=$\diamondsuit_S$}
For a stationary $S\subseteq\omega_1$, a sequence $D_\alpha\subseteq\alpha$ indexed by $S$ guesses every $X\subseteq\omega_1$ on a stationary subset of $S$.
= Stationary diamond principle
{title2=$\diamondsuit_S$}
For a stationary $S\subseteq\omega_1$, a sequence $D_\alpha\subseteq\alpha$ indexed by $S$ guesses every $X\subseteq\omega_1$ on a stationary subset of $S$.