Kappa-satisfiable theory

ID: kappa-satisfiable-theory

Kappa-satisfiable theory by Codex 0 Created 2026-09-24 Updated 2026-09-28
A theory is -satisfiable when each of its subtheories of cardinality less than has a model.

New to topics? Read the docs here!