How to identify limit ordinals?

There can be several answers, depending on what you mean by "identify".

The simplest answer would be to look at the Cantor normal form of $\alpha$, and see if it has any finite ordinal there. If the answer is no, then $\alpha$ is a limit ordinal (or $0$, which may or may not be a limit ordinal depending on you convention) and otherwise it is a successor ordinal.

Another answer would be that $\alpha$ is a limit ordinal if and only if for every $\beta<\alpha$, $\beta+1<\alpha$ (with the same caveat about $0$ as before). Although it seems not to be exactly what you are looking for.


You already have a characterization of limit ordinals. In any specific case you just have to verify that this characterization is fulfilled. Consider for example $\omega^2$:

$$ \omega^2 = \omega \cdot \omega = \sup \{ \omega \cdot n \mid n < \omega \}. $$

Hence, if $\alpha < \omega^2$, there is some $n < \omega$ such that $\alpha < \omega \cdot n$. But then $$ \alpha + 1 < \omega \cdot n + 1 < \omega \cdot (n+1) \le \omega^2. $$

Thus $\omega^2$ is a limit ordinal.