Let $\kappa$ be a cardinal (of uncountable cofinality). A subset $S \subseteq \kappa$ is called stationary if it intersects every club, i.e. closed unbounded subset of $\kappa$. Now my question is ...
(This question is motivated by the reading of the article Large numbers and unprovable theorems by Joel Spencer, which can be found at ...