Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-144/3/ii/solution

Expand RCF by a constant and the sentences for all natural numbers . Every finite subset is realized in . The compactness theorem gives a model realizing all of them, hence a Non-Archimedean real closed field.

New to topics? Read the docs here!