Model Theoretic Characterizations of Large Cardinals Revisited
arXiv:2202.00549
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.