Axiom A and supercompactness
Abstract
We produce a model where every supercompact cardinal is C(1)-supercompact with inaccessible targets. This is a significant improvement of the main identity-crises configuration obtained in HMP and provides a definitive answer to a question of Bagaria [p.19]Bag. This configuration is a consequence of a new axiom we introduce -- called A -- which is showed to be compatible with Woodin's I0 cardinals. We also answer a question of V. Gitman and G. Goldberg on the relationship between supercompactness and cardinal-preserving extendibility. As an incidental result, we prove a theorem suggesting that supercompactness is the strongest large-cardinal notion preserved by Radin forcing.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.