Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This paper mentions that any ordinal $\alpha < \epsilon_0$ can be written uniquely as $\alpha = \omega^\beta(\gamma+1)$, where $\beta<\alpha$.

Does this presentation have a name? Also, how would one get $\omega^\beta(\gamma+1)$ for a given $\alpha$? I played with this for a while and got stuck when setting $\alpha$ to, say, $\omega^\omega+1$. (Or is this just Cantor normal form disguised?)

share|improve this question
1  
$\omega^{\omega}+1 = \omega^0(\omega^{\omega}+1)$ –  Clive Newstead Jan 11 '13 at 13:14
    
Well if $\alpha$ is a successor then you need $\beta=0$. If it's not a successor, factorise it's CNF. –  Clive Newstead Jan 11 '13 at 13:25

1 Answer 1

up vote 2 down vote accepted

This is very close to the Cantor Normal Form, and likely has no name of its own.

Note that given $\alpha < \varepsilon_0$ its Cantor Normal Form is $$\omega^{\beta_1} \cdot k_1 + \cdots + \omega^{\beta_n} \cdot k_n$$ where $\alpha > \beta_1 > \cdots > \beta_n$ and $0 < k_1 , \ldots , k_n < \omega$. Now essentially factor out $\omega^{\beta_n}$ to the left to get the representation (as $0 < k_n < \omega$ whatever is left over after factoring out must be a successor ordinal).

share|improve this answer

Your Answer

 
discard

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