2022/10/13 by Joan Bagaria, Bagaria, Joan, Philipp Lücke +1 · 2 citations
Computer Science · Mathematics · #03C55 #03E47 #03E55 #18A15 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2210.07120
openalex publication_date 2022/10/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/30
We unveil new patterns of Structural Reflection in the large-cardinal hierarchy below the first measurable cardinal. Namely, we give two different characterizations of strongly unfoldable and subtle cardinals in terms of a weak form of the principle of Structural Reflection, and also in terms of weak product structural reflection. Our analysis prompts the introduction of the new notion of C(n)-strongly unfoldable cardinal for every natural number n, and we show that these cardinals form a natural hierarchy between strong unfoldable and subtle cardinals analogous to the known hierarchies of C(n)-extendible and Σn-strong cardinals. These results show that the relatively low region of the large-cardinal hierarchy comprised between the first strongly unfoldable and the first subtle cardinals is completely analogous to the much higher region between the first strong and the first Woodin cardinals, and also to the much further upper region of the hierarchy ranging between the first supercompact and the first Vopěnka cardinals.