Ordinal Notations

Set Theory · Axiom Academy

Systems for representing ordinals symbolically, from Cantor normal form to the Veblen hierarchy. Every ordinal α can be uniquely expressed in Cantor normal form as a finite sum of powers of ω: This representation is unique and provides a canonical way to write ordinals systematically. 2. Examples of Cantor Normal Form Let's see how various ordinals are expressed in Cantor normal form: Notice how the exponents strictly decrease from left to right. 3. Uniqueness and Well-Ordering The Cantor normal form representation is unique for each ordinal below ε₀. This makes Cantor normal form not just a notation but a computational tool for ordinal arithmetic. 4. Beyond ε₀: The Veblen Hierarchy Ordinals ≥ ε₀ cannot be expressed in basic Cantor normal form. We need the Veblen hierarchy of functions. Each level in the hierarchy captures a new class of fixed points. Every computable ordinal notation system has a supremum—an ordinal it cannot reach. Notation systems reveal the boundary between what can be explicitly named and what remains beyond symbolic reach.

This is the written version of the interactive lesson above. See the full Set Theory course.