Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 116 / 1 / a / iv

An uncountable cardinal $\kappa$ is a strongly compact cardinal when every $\kappa$-satisfiable theory in any $L_{\kappa ,\kappa }$ language is satisfiable. Unlike weak compactness, there is no cardinality bound on the language.