Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know how to compute finite exponentiation limit ordinal expressed in normal form. However, how do i compute for nonlimit ordinal?

I know this statement is true. If $r$ is a limit ordinal and $b$ is a finite ordinal >0, then $r^b = \omega^{a_1b-1}r$

How do i compute ordinal such as $\omega^\omega + 12 = b$ then $b^5$?

share|cite|improve this question
Is $w$ in your notation really $\omega$ (\omega)? – Asaf Karagila Jun 2 '12 at 19:18
Yes i meant $\omega$ – Katlus Jun 2 '12 at 19:19
@Asaf I have proved how to express normal form for nonlimit ordinal and the result shows that 'if b>0 is a finite ordinal and $r$ is a nonlimit ordinal and $a_n$ is the last term for normal form representation for $r$ then the last term for normal form representation of $r^b$ is $a_n$. Is it true? – Katlus Jun 2 '12 at 21:24
Above holds for n>1 – Katlus Jun 2 '12 at 22:19
up vote 3 down vote accepted

For finite $a$ you have

$$\begin{align*} \left(\omega^\omega+a\right)^2&=\left(\omega^\omega+a\right)\cdot\left(\omega^\omega+a\right)\\ &=\left(\omega^\omega+a\right)\cdot\omega^\omega+\left(\omega^\omega+a\right)\cdot a\\ &=\omega^{\omega+\omega}+\omega^\omega\cdot a+a\;, \end{align*}$$

$$\begin{align*} \left(\omega^\omega+a\right)^3&=\left(\omega^{\omega+\omega}+\omega^\omega\cdot a+a\right)\cdot\left(\omega^\omega+a\right)\\ &=\left(\omega^{\omega+\omega}+\omega^\omega\cdot a+a\right)\cdot\omega^\omega+\left(\omega^{\omega+\omega}+\omega^\omega\cdot a+a\right)\cdot a\\ &=\omega^{\omega\cdot3}+\left(\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\right)\\ &=\omega^{\omega\cdot3}+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\;, \end{align*}$$


$$\begin{align*} \left(\omega^\omega+a\right)^4&=\left(\omega^{\omega\cdot3}+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\right)\cdot\left(\omega^\omega+a\right)\\ &=\left(\omega^{\omega\cdot3}+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\right)\cdot\omega^\omega+\left(\omega^{\omega\cdot3}+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\right)\cdot a\\ &=\omega^{\omega\cdot4}+\left(\omega^{\omega\cdot3}\cdot a+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\right)\\ &=\omega^{\omega\cdot4}+\omega^{\omega\cdot3}\cdot a+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\;, \end{align*}$$

and the induction is pretty clear:

$$\left(\omega^\omega+a\right)^n=\omega^{\omega\cdot n}+\omega^{\omega\cdot(n-1)}\cdot a+\omega^{\omega\cdot(n-2)}\cdot a+\ldots+\omega^{\omega\cdot2}\cdot a+\omega^\omega\cdot a+a\;.$$

In particular,


In general, if $\eta$ is a limit ordinal, you’ll have

$$(\eta+a)^n=\eta^n+\eta^{n-1}\cdot a+\eta^{n-2}\cdot a+\ldots+\eta^2\cdot a+\eta\cdot a+a\;.$$

share|cite|improve this answer
That's exactly how i proved it. Thanks :) – Katlus Jun 2 '12 at 23:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.