Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-3/16j/c/solution
Past exam of the mathematics course of the University of Cambridge 2026 ii Paper 3 16J c Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
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!