>>87
訂正
> ψ_{ω^α_1+ω^α_2+…+ω^α_m}(ω^β_1+ω^β_2+…+ω^β_n)
> =C(0,β_n,…C(0,β_2,C(0,β_1,C(1,α_m,…C(1,α_2,C(1,α_1,0))…)))…)
にβ_i≧ψ_{ω^α_1+ω^α_2+…+ω^α_m+1}(0)という条件を追加します。

>>89
帰納的でない順序数の大きさを直接比較するのに意味がないのは分かっているので、
表記上の役割としてψ2(1,0)がC(2,0,0)に相当するかどうかという意味で書きました。

ψ(0,0,α)は帰納的順序数でC(1,0,0)未満の数に相当し、
ψ(0,α,β)はある順序数から帰納的に定義される順序数を作るためにcollapseさせて用いる、
より大きい順序数でC(2,0,0)未満の数に相当すると考えています。

ただ、より大きい順序数を作るためにψ(α,β,γ)を定義したものの、
それは役割的にはC(2,0,0)未満の数に相当するものでしかなかったので、
どのような役割をすればC(2,0,0)に相当するか知るために聞きました。

ψ2(1,0)はcollapseさせることでψ(α,β,γ)など、
C(2,0,0)未満に相当する帰納的に定義されない順序数が作れる(という構想だった)ので、
役割的にC(2,0,0)に相当するだろうか、ということです。

ただ、Dmytro氏の記法はAn Ordinal Notationの時点でも、
今までこのスレに出てきた帰納的順序数よりずっと大きな帰納的順序数が表せるようだということが分かったので、
むやみにこれ以上ψの拡張を考える前に、Dmytro氏の表記を正しく理解すべく努力しようと思っています。
7-389の「ψ_a(0)がAn Ordinal NotationのC(a,0,0)に相当する」という意味の発言に
このスレの>>81まで誰も異を唱えなかったということは、
それまで誰もDmytro氏の表記を正しく理解していなかったということですし。