Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-144/4/b/i/solution

Let . If the saturated model had a basis of cardinality below , then would omit the consistent generic type in a strongly minimal theory over . This contradicts -saturation. A basis is a subset of , so its cardinality is at most . Therefore

New to topics? Read the docs here!