Suslin cardinals and cutpoints in mouse limits
Logic
2022-07-11 v1
Abstract
We obtain a partial result on the following conjecture. Conjecture. Let (P, {\Sigma}) be a projectum stable mouse pair, and let \kappa be a cardinal of V such that \kappa < o(M_\infty(P, {\Sigma})); then the following are equivalent: (1) \kappa is a Suslin cardinal, (2) \kappa is a cutpoint of M_\infty(P, {\Sigma}).
Cite
@article{arxiv.2207.04042,
title = {Suslin cardinals and cutpoints in mouse limits},
author = {Stephan Jackson and Grigor Sargsyan and John Steel},
journal= {arXiv preprint arXiv:2207.04042},
year = {2022}
}