Forcing with overlapping supercompact extenders
Abstract
We build a supercompact version of the forcing defined in gitik2019. For each singular cardinal in the ground model with any fixed cofinality, which is a limit of supercompact cardinals, it is possible to force so that the size of the powerset of the singular cardinal is arbitrarily large, while preserving the singular cardinal. An important feature of this forcing is that it is possible to define the forcing so that the successor of the singular cardinal is collapsed, but all the cardinals above it are preserved.
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.