アッカーマン順序数

アッカーマン順序数 (Ackermann ordinal) とは、アッカーマンがにおいて構成した可算順序数であり、多変数ヴェブレン関数で\(\varphi(1,0,0,0)\)、ヴァイアーマンのϑ関数で\(\vartheta(\Omega^3)\)、バードのθ関数で\(\theta(\Omega^2)\)、ブーフホルツのψ関数で\(\psi_0(\Omega^{\Omega^2})\)と表される数である。

順序数全体のクラスを\(\textrm{ON}\)と置くと、これは関数\(\textrm{ON} \to \textrm{ON}, \ \alpha \mapsto \varphi(\alpha,0,0)\)の最小の不動点であり、3変数ヴェブレン階層で表されない最小の順序数である。