Successor ordinal
When defining the ordinal numbers, an absolutely fundamental operation that we can perform on them is a successor operation S to get the next higher one. Using von Neumann's ordinal numbers (the standard ordinals used in set theory), we have, for any ordinal number,
It is immediate that there is no ordinal number between α and S(α) and with the ordering on the ordinal numbers α < β if and only if  , it is clear that α < S(α). An ordinal number which is S(β) for some ordinal β is called a successor ordinal. Ordinals which are not successors are called limit ordinals. We can use this operation to define ordinal addition rigorously via transfinite induction as follows:
and for a limit ordinal λ
In particular, S(α) = α + 1. Multiplication and exponentiation are defined similarly. Also see limit ordinal.
Referenced By
List of mathematical logic topics | List of mathematical topics (S-U)
|
