 The representation of \(\beta\) in (4) is called the Cantor normal form. We shall write \(\beta \mathbin{=_{\sCNF}} \omega^{\beta_1}+\cdots +\omega^{\beta_n}\) to convey that \(\beta_0\geq\beta_1\geq\dots\geq\beta_k\).