Loading article…
数学において、小ヴェブレン順序数は、オズワルド・ヴェブレンにちなんで名付けられた、ある大きな可算順序数である。アッカーマン順序数と呼ばれることもあるが、アッカーマン (1951) によって記述されたアッカーマン順序数は小ヴェブレン順序数よりもいくぶん小さい。
フェファーマン・シュッテ順序数 を超える順序数には標準的な表記法はありません。ほとんどの表記法では、、 、 などの記号を使用します。これらの記号の一部は、非可算な引数に対しても可算な順序数を生成するためにヴェブレン関数を修正したもので、一部は「縮小関数」です。
小さなヴェブレン順序数またはは、有限個の引数を持つヴェブレン関数のバージョンを使用して記述できる順序数の限界です。これは、クラスカルの定理の強さを測る順序数です。また、これは、根付き木の特定の順序付けの順序数型でもあります(Jervell 2005)。
参考文献
- アッカーマン、ヴィルヘルム (1951)、「Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse」、Math。 Z.、53 (5): 403–413、土井:10.1007/BF01175640、MR 0039669、S2CID 119687180
- Jervell, Herman Ruge (2005)、「Finite Trees as Ordinals」(PDF)、New Computational Paradigms、Lecture Notes in Computer Science、vol. 3526、ベルリン/ハイデルベルク: Springer、pp. 211–220、doi :10.1007/11494645_26、ISBN 978-3-540-26179-7
- ラトジェン、マイケル; ワイアーマン、アンドレアス (1993)、「クラスカルの定理に関する証明理論的研究」、Ann. Pure Appl. Logic、60 (1): 49–88、doi : 10.1016/0168-0072(93)90192-G、MR 1212407
- ヴェブレン、オズワルド(1908)、「有限および超限順序数の連続増加関数」、アメリカ数学会誌、9(3):280-292、doi:10.2307/1988605、JSTOR 1988605
- ウィーバー、ニック (2005)、「Gamma_0 を超える述語性」、arXiv : math/0509244
