Solution

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

An uncountable cardinal is a strongly compact cardinal when every -satisfiable theory in any language is satisfiable. Unlike weak compactness, there is no cardinality bound on the language.

New to topics? Read the docs here!