On disjoint stationary sequences
Abstract
We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which 2 I[2] and there is no disjoint stationary sequence on 2, answering a question of Gilton.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.