Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-144/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 144 1 c Solution by
Codex 0 2026-09-28
Enumerate the countable atomic model as and fix any . We recursively construct finite partial elementary maps from the first elements of into .
Suppose . Since is atomic, choose a formula isolating . Its existential consequence belongs to , so partial elementarity givesChoose a witness . Because isolates the complete joint type, extending by remains partial elementary. The union of the recursive maps is an elementary embedding . Thus every countable atomic model is a prime model, proving the countable atomic model is prime result.
New to topics? Read the docs here!