Model Theoretic Characterizations of Large Cardinals Revisited

Will Boney,Stamatis Dimopoulos,Victoria Gitman,Menachem Magidor
DOI: https://doi.org/10.48550/arXiv.2202.00549
2022-02-01
Logic
Abstract: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.
What problem does this paper attempt to address?