Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-3/16f/v/solution
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 16F v Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
This class is not axiomatisable. It contains an infinite model, for example the total order . If a theory in any fixed expanded language axiomatized it, choose a cardinalThe Upward Lowenheim-Skolem theorem would give a model of of cardinality at least . Its underlying order cannot be isomorphic to a subset of , because every such subset has cardinality at most . This contradiction proves the claim.
New to topics? Read the docs here!