投稿者：mag さん

Buchholz's ψを使って表記した、Г_0未満の順序数。 順序数の考え方を矢印表記やBEAFを使って表すと ψ_0(Ω)＝ε_0：ω↑↑ω＝{ω,ω,2,1} ψ_0(Ω・2)＝ε_1：ω↑↑(ω・2)＝{ω,{ω,2,0},2} ψ_0(Ω・ω)＝ε_ω：ω↑↑(ω^2)＝{ω,{ω,2,1},2} ψ_0(Ω・ε_0)=ε_ε_0：ω↑↑ω↑↑ω＝ω↑↑↑3＝{ω,3,3} ψ_0(Ω^2)＝φ_2(0)：ω↑↑↑ω＝{ω,ω,3} ψ_0(Ω^3)＝φ_3(0)：ω↑↑↑↑ω＝{ω,ω,4} ψ_0(Ω^ω)=φ_ω(0)：ω→ω→ω＝{ω,ω,ω} です。 ψ関数すき