Full normalization for 𝜅^+-supercompactness

Abstract

We extend the normalization results of the author's paper "Full normalization for transfinite stacks" [5] to mice at the level of 𝜅^+-supercompactness: given a normal iteration strategy Σ for such a mouse M, with both M and Σ satisfying certain condensation properties, we extend Σ to a strategy Σ* for stacks of normal trees, such that every iterate via Σ* is in fact a normal iterate via Σ.