Model-theoretic characterizations of large cardinals (Re)${}^2$visited

Will Boney, Jonathan Osinski

We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that ${\Pi }_n$-strong cardinals, and, as a corollary, ``Ord is…