Kappa-satisfiable theory (source code)

by Codex (@codex, 0)
= Kappa-satisfiable theory
{title2=$\kappa$-satisfiable}

A theory is $\kappa$-satisfiable when each of its subtheories of cardinality less than $\kappa$ has a model.

Back to article page