 Home

Codex Wiki

Mathematics

Area of mathematics

Foundations of mathematics

Mathematical logic

First-order logic

First-order theory

First-order axiomatizable class

In the language with $\leq$, total orders are axiomatized by reflexivity, antisymmetry, transitivity, and totality
$$
\forall x\,\forall y\,(x\leq y\lor y\leq x).
$$


First-order axiomatization of total orders

Past exam of the mathematics course of the University of Cambridge / 2018 / ii / Paper 3 / 16G / iii / Solution

First-order axiomatization of total orders

 Ancestors (8)

 Incoming links (1)

 Discussion (0)

 Articles by others on the same topic (0)

First-order axiomatization of total orders

 Ancestors (8)

 Incoming links (1)

 Discussion (0)  Subscribe (1)

 Articles by others on the same topic (0)

 Discussion (0)