The initial segment condition for $κ^+$-supercompactness

Farmer Schlutzenberg

Published 2023-06-24Version 1

We give a development of the fine structure of mice with long extenders, to the level of $\kappa^+$-supercompact cardinals $\kappa$. We do this using a hierarchy with features more analogous to those familiar in the short extender context than the hierarchies introduced by Woodin and by Neeman-Steel. In particular, the mice we consider satisfy stronger versions of the initial segment condition.