07/10/26 19:21:37
多変数veblenの定義は以下になる。
----多変数veblen----
□ : 0個以上の0
Ｘ : 0個以上の順序数
a, b : 順序数
A, B : 極限順序数 （A_n, B_n : 収束列）
φ(□) = 1
φ(Ｘ, A, □) = lim φ(Ｘ, A_n, □)
φ(Ｘ, b+1, □, 0) = lim { 初項 0 / ２項目以降 φ(Ｘ, b, １個前の項, □) }
φ(Ｘ, b+1, □, a+1) = lim { 初項 φ(Ｘ, b+1, □, a)+1 / ２項目以降 φ(Ｘ, b, １個前の項, □) }
φ(Ｘ, B, □, a+1) = lim φ(Ｘ, B_n, □, φ(Ｘ, B, □, a)+1)
φ(□, a+1) = lim { 初項 0 / ２項目以降 １個前の項+φ(a) }
この後 >>389 や >>571 のC_n とおなじように進化させることができる。