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.
Structural Signature¶
Sig role-phrases:
- Predecessor ordinal α — Provides the ordinal being advanced. It is input ordinal. Counterfactual: A nonordinal set has no ordinal successor under this definition.
- Singleton {α} — Adds the predecessor as a new largest element. It is construction term. Counterfactual: Adding an unrelated set need not produce the next ordinal.
- Union α∪{α} — Forms the von Neumann successor. It is result object. Counterfactual: Ordinary set union without ordinal structure is insufficient.
- Ordinal order — Determines greater-than and minimality. It is order frame. Counterfactual: Cardinality alone cannot distinguish α from α+1 at infinite sizes.
- Immediate-predecessor relation — Ensures no ordinal lies between α and its successor. It is defining relation. Counterfactual: Limit ordinals lack an immediate predecessor.
- Successor–limit partition — Classifies nonzero ordinals. It is taxonomic role. Counterfactual: Zero is neither successor nor nonzero limit under standard convention.
What It Is Not¶
- 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.
- Closest near-miss. 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.
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.
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.
Examples¶
Canonical¶
ω+1 is a successor ordinal: ω is its greatest element and no ordinal lies strictly between ω and ω+1.
Mapped back: predecessor → ω; successor → ω+1; gap → none; type → infinite successor ordinal.
Applied / In Practice¶
ω is a limit ordinal because it is the supremum of all finite ordinals and has no immediate predecessor.
Mapped back: ordinal → ω; greatest predecessor → absent; verdict → not successor.
Structural Tensions¶
T1 — Order Increase versus Cardinality Preservation. For infinite α, α and α+1 can have the same cardinality while remaining different ordinals.
Diagnostic: Is the comparison about order type or size?
T2 — Recursive Step versus Limit Stage. Successor definitions use the immediately prior value, whereas limit stages require a supremum over earlier values.
Diagnostic: Which clause of transfinite recursion applies?
Structural–Framed Character¶
Successor Ordinal is structural as immediate next element in the well-order of ordinals and framed by von Neumann set theory. Minimal greater-than, not larger cardinality, defines it.
Structural Core vs. Domain Accent¶
The general pattern is a discrete next step. Ordinal theory supplies transitive sets, membership order, limit stages, and noncommutative arithmetic; importing only the word successor loses those structures.
Instantiates / Related Primes¶
-
Approved unparented root. No reviewed parent entails the immediate ordinal-successor construction.
-
Related — limit ordinal and successor cardinal. They supply the complementary ordinal case and a distinct cardinal operation.
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
Not to Be Confused With¶
- Limit ordinal. Tell: Is nonzero and not a successor.
- Successor cardinal. Tell: Is the next larger cardinal, not α+1 as an ordinal.
- Natural-number successor. Tell: Is the finite special case.
- Ordinal addition. Tell: Is noncommutative and α+β need not be one successor step.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Successor_ordinal (revision 1165996830).
- Preserved source candidate: https://books.google.com/books?id=sDfdbBQ75MQC&pg=PA46
- Preserved source candidate: https://books.google.com/books?id=hCv-vFu4jskC&pg=PA100
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.