Successor ordinal: Difference between revisions

No change in size ,  3 months ago
no edit summary
(Created page with "An ordinal is called a successor if it is equal to \(\alpha + 1\) for some other \(\alpha\). An ordinal \(\alpha\) is a successor if and only if \(\max \alpha\) exists. The smallest successor ordinal is 1, which is also the only successor ordinal to also be additively principal. The least ordinal that is not a successor, other than 0, is \(\omega\). If \(\beta\) is successor, then \(\alpha+\beta\) is also successor f...")
 
No edit summary
Tag: Manual revert
 
(One intermediate revision by one other user not shown)
(No difference)
75

edits