Past exam of the mathematics course of the University of Cambridge / 2018 / ii / Paper 3 / 16G / iii / Solution Created 2026-09-24 Updated 2026-10-03
View more
The class is axiomatizable by the partial order axioms together with totality:
(1)
Explicitly, the remaining axioms state reflexivity, antisymmetry, and transitivity. This is the first-order axiomatization of total orders.
Read the full article