Prove that ${\omega}^\beta \le \alpha$

146 Views Asked by At

I am completely stuck on proving the lemma.

If $\alpha$ is a non-zero ordinal, then there is a largest ordinal $\beta$ such that ${\omega}^\beta \le \alpha$ and $\beta \le \alpha$

I intuitively see that the first statement is true just from the ordinal arithmetic, but I do not see how $\beta \le \alpha$

1

There are 1 best solutions below

4
On BEST ANSWER

Note that $\alpha\leq\omega^\alpha$ by an easy induction argument. So you immediately get the inequality.