2020/02/17 by Gabriel Goldberg, Goldberg, Gabriel
Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Philosophy and Theoretical Science
paper · pdf · doi:10.48550/arxiv.2002.07299
openalex publication_date 2020/02/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
While many inner model theoretic combinatorial principles are incompatible with large cardinal axioms, on some rare occasions, large cardinals actually imply that the structure of the universe of sets is analogous to the canonical inner models. This note provides two new instances of this phenomenon.