Disjoint Stationary Sequences on an Interval of Cardinals

Abstract

We answer a question of Krueger by obtaining -- from countably many Mahlo cardinals -- a model where there is a disjoint stationary sequence on ${\aleph }_{n+2}$ for every $n\in \omega$. In that same model, the notions of being internally stationary and internally club are distinct on a stationary subset of $[H(\Theta ){]}^{{\aleph }_{n+1}}$ for every $n\in \omega$ and $\Theta \ge {\aleph }_{n+2}$, answering another of Krueger's questions. This is obtained by employing a product of variants of Mitchell forcing which uses finite support for the Cohen reals and full support for the countably many collapses.

25 pages, 0 figures