On disjoint stationary sequences
Logic
2024-11-27 v2
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 and there is no disjoint stationary sequence on , answering a question of Gilton.
Cite
@article{arxiv.2301.02634,
title = {On disjoint stationary sequences},
author = {Maxwell Levine},
journal= {arXiv preprint arXiv:2301.02634},
year = {2024}
}
Comments
Substantial changes to the proof of Theorem 3, which is now only stated for $\aleph_2$. Amendments to the proof of Theorem 2. Other small changes throughout