Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-3/16j/c/solution

If a theory axiomatized precisely the Archimedean fields, add a constant and sentences for every . Every finite subset has an Archimedean model with sufficiently large, so compactness gives a model of the whole set. Its field reduct satisfies the proposed theory but is non-Archimedean, a contradiction.

New to topics? Read the docs here!