Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-144/1/c/solution

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 gives
Choose 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!