Generalized Cantor normal form ($\alpha ={\sum }_{i<m}{\rho }^{{\beta }_i}{\xi }_i$)

For every ordinal base $\rho >1$, a nonzero ordinal has a unique finite ordinal addition expansion with strictly decreasing exponents ${\beta }_i$ and coefficients $0<{\xi }_i<\rho$. Choose the largest power at most the remaining ordinal and apply the ordinal division algorithm. The next remainder has smaller leading exponent, so well-foundedness forces termination. Each lower tail is smaller than its preceding power; uniqueness of division consequently fixes the exponent, coefficient and tail successively. For $\rho =\omega$ this is Cantor normal form.