Kappa-satisfiable theory

ID: kappa-satisfiable-theory

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

New to topics? Read the docs here!