Successor Ordinal - kipawaa/Proof-Tree GitHub Wiki

Statement

An Ordinal Number $\alpha$ is a successor ordinal iff there exists an ordinal $\beta$ such that $\alpha$ is the Successor of $\beta$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

• Successor
• Ordinal Number

Dependents

• Limit Ordinal

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096