Is $\omega_{\alpha}$ sequentially compact? For an ordinal $\alpha \geq 2$, let $\omega_{\alpha}$ be as defined here. 
It is easy to show that $\omega_{\alpha}$ is limit point compact, but is it sequentially compact?

I think I finally found a solution:
In a well-ordered set, every sequence admits an non-decreasing subsequence. Indeed, if $(x_n)$ is any sequence, let $n_0$ be such that $x_{n_0}= \min \{ x_n : n\geq 0 \}$, and $n_1$ such that $x_{n_1}= \min \{ x_n : n > n_0 \}$, and so on; here, $(x_{n_i})$ is an non-decreasing subsequence.
Because an non-decreasing sequence is convergent iff it admits a cluster point, limit point compactness and sequentially compactness are equivalent.
