English

Disjoint Stationary Sequences on an Interval of Cardinals

Logic 2025-08-15 v2

Abstract

We answer a question of Krueger by obtaining -- from countably many Mahlo cardinals -- a model where there is a disjoint stationary sequence on n+2\aleph_{n+2} for every nωn\in\omega. In that same model, the notions of being internally stationary and internally club are distinct on a stationary subset of [H(Θ)]n+1[H(\Theta)]^{\aleph_{n+1}} for every nωn\in\omega and Θn+2\Theta\geq\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.

Keywords

Cite

@article{arxiv.2309.01986,
  title  = {Disjoint Stationary Sequences on an Interval of Cardinals},
  author = {Hannes Jakob},
  journal= {arXiv preprint arXiv:2309.01986},
  year   = {2025}
}

Comments

25 pages, 0 figures