Successor Ordinal¶
An ordinal of the form α+1: the least ordinal strictly greater than α, represented in the von Neumann model as α united with the singleton containing α.
Core Idea¶
A successor ordinal has an immediate predecessor. Starting with α, the von Neumann construction adds α as a new element, producing α∪{α}=α+1, the least ordinal strictly larger than α.
This order-theoretic step is independent of cardinal growth: ω and ω+1 have the same cardinality but different order types. Successor ordinals contrast with nonzero limit ordinals, which are approached from below and have no greatest predecessor.
Scope of Application¶
- Transfinite induction. Separates successor and limit proof steps.
- Ordinal arithmetic. Defines recursive addition, multiplication, and exponentiation.
- Set-theoretic topology. Identifies successor ordinals as isolated points.
- Foundations. Illustrates the von Neumann ordinal construction.
Clarity¶
Name the ambient ordinal model, predecessor α, construction S(α), and whether claims concern order or cardinality. In recursive arguments, separate zero, successor, and limit cases explicitly. Inclusion test: Require an ordinal β for which there exists α with β=S(α)=α+1 and no ordinal lies strictly between α and β. Exclusion test: Exclude successor cardinals, arbitrary next integers outside ordinal context, limit ordinals, and ordinal addition α+γ for nonunit γ treated as one successor step. Nearest boundary: A successor cardinal is the least cardinal greater than a given cardinal; it can correspond to a limit ordinal and is not the same relation as ordinal successor. Exit condition: The object exits the class when it has no greatest predecessor below it, as with a nonzero limit ordinal. Common misclassifications: A successor ordinal is not the same as a successor cardinal. A limit ordinal has no immediate predecessor. Equal cardinality does not imply equal ordinal. Zero is not the successor of an ordinal under standard ordinal arithmetic. Nearest named distinctions: Limit ordinal: Is nonzero and not a successor. Successor cardinal: Is the next larger cardinal, not α+1 as an ordinal. Natural-number successor: Is the finite special case. Ordinal addition: Is noncommutative and α+β need not be one successor step.
Manages Complexity¶
The construction is elementary, but at infinity it exposes the difference between sequence order and set size. That distinction controls transfinite recursion, topology on ordinals, and the asymmetric behavior of ordinal arithmetic.
Abstract Reasoning¶
- Verify the object and candidate predecessor are ordinals.
- Construct or recognize β as α∪{α}.
- Show α<β and no ordinal lies between them.
- Distinguish order type from cardinality.
- Use successor rather than limit clauses in induction or recursive definitions.
Knowledge Transfer¶
The immediate-next structure transfers within ordinal theory, but successor cardinals and successor operations on other algebraic objects use different orders and properties. Infinite equal cardinality does not erase ordinal succession.
Neighborhood in Abstraction Space¶
Successor Ordinal sits in a moderately populated region (55th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Combinatorial Optimization & Game Problems (12 abstractions)
Nearest neighbors
- Cumulative Hierarchy — 0.88
- First-Order Arithmetic — 0.87
- Homoarchy — 0.85
- Axiom of Regularity — 0.85
- Order (group theory) — 0.85
Computed from structural-signature embeddings · 2026-10-08