基本列

如果序数$\alpha$是一个极限序数，则它的基本列$⟨\alpha [n]⟩$是一个递增的序数列，并且满足其上确界为$\alpha$。即$\alpha =\mathrm{s}\mathrm{u}\mathrm{p}\{\alpha [n]|n\in \mathbb{\mathbb{N}}\}=\mathrm{s}\mathrm{u}\mathrm{p}\{\alpha [0],\alpha [1],\alpha [2],...\}$。

定义

目前使用较广的一套基本列是这样定义的：

$\omega [n]=n$

${\omega }^{\alpha +1}[n]={\omega }^{\alpha }\times n$

${\omega }^{\alpha }[n]={\omega }^{\alpha [n]}$，如果$\alpha$是极限序数。

$({\omega }^{{\alpha }_1}+{\omega }^{{\alpha }_2}+...+{\omega }^{{\alpha }_k})[n]={\omega }^{{\alpha }_1}+{\omega }^{{\alpha }_2}+...+{\omega }^{{\alpha }_k}[n]$，如果${\alpha }_1\ge {\alpha }_2\ge ...\ge {\alpha }_k$。

${\epsilon }_0[0]=1,{\epsilon }_0[n+1]={\omega }^{{\epsilon }_0[n]}$

${\epsilon }_1[0]={\epsilon }_0+1,{\epsilon }_1[n+1]={\omega }^{{\epsilon }_1[n]}$

${\zeta }_0[0]=0,{\zeta }_0[n+1]={\epsilon }_{{\zeta }_0[n]}$

......