Strongly compact cardinal
= Strongly compact cardinal
{wiki}
An uncountable cardinal $\kappa$ is strongly compact when every $\kappa$-satisfiable theory in any $L_{\kappa,\kappa}$ language is satisfiable, with no bound on the number of nonlogical symbols.