2025/06/09 by Farmer Schlutzenberg, Schlutzenberg, Farmer
Computer Science · Mathematics · #03E45 #03E55 #Advanced Topology and Set Theory #Cellular Automata and Applications #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals
paper · pdf · doi:10.48550/arxiv.2506.08287
openalex publication_date 2025/06/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
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 Σ.