Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-3/16f/v/solution

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 cardinal
The 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!