Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-116/1/a/ii/solution

A theory is -satisfiable when every subtheory of size below has a model. An uncountable cardinal is weakly compact when every -satisfiable theory in an infinitary language with at most nonlogical symbols is satisfiable.
Equivalently, : every coloring has a homogeneous subset of cardinality .

New to topics? Read the docs here!