Abstract

It is consistent that, for every $n \geq 2$, every stationary subset of $\omega_n$ consisting of ordinals of cofinality $\omega_k$, where $k = 0$ or $k \leq n - 3$, reflects fully in the set of ordinals of cofinality $\omega_{n - 1}$. We also show that this result is best possible