Weakly compact cardinal
= Weakly compact cardinal
{wiki}
An uncountable cardinal $\kappa$ is weakly compact when every $\kappa$-satisfiable theory in an $L_{\kappa,\kappa}$ language having at most $\kappa$ nonlogical symbols is satisfiable.
= Weakly compact cardinal
{wiki}
An uncountable cardinal $\kappa$ is weakly compact when every $\kappa$-satisfiable theory in an $L_{\kappa,\kappa}$ language having at most $\kappa$ nonlogical symbols is satisfiable.