40 citations · 136 across the 24 of their papers we have counts for
1 paper · 1 filter
Will Boney
We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{κ, κ}$,…