2022/02/01 by Will Boney, Boney, Will, Stamatis Dimopoulos +5
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2202.00549
openalex publication_date 2022/02/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals.