Definition:Limit Ordinal/Definition 2

From ProofWiki
Jump to navigation Jump to search


An ordinal $\lambda$ is a limit ordinal if and only if it is neither the zero ordinal nor a successor ordinal.


The class of all non-limit ordinals can be denoted $K_I$, while the class of all limit ordinals can be denoted $K_{II}$.

Also defined as

Some sources also consider the zero ordinal a limit ordinal.

It's a matter of taste.

Also see

  • Results about limit ordinals can be found here.