An ordinal that is neither 0 nor a successor. Equivalently, λ = sup{β : β < λ}. The smallest limit ordinal is ω; the next is ω·2. Limit ordinals are the non-trivial case of transfinite recursion and host continuity arguments in ordinal…
An ordinal that is neither 0 nor a successor. Equivalently, λ = sup{β : β < λ}. The smallest limit ordinal is ω; the next is ω·2. Limit ordinals are the non-trivial case of transfinite recursion and host continuity arguments in ordinal…