07/01/13 13:20:48
>>132の定義式で、
β≠0のとき
φ(…,[α,β+1],[0,γ+1])=lim φ_n
ただしφ_0=φ(…,[α,β+1],[0,γ])+1,φ_(n+1)=φ(…,[α,β],[0,φ_n])
αが極限順序数のとき
φ(…,[α,1],[0,β+1])=lim φ(…,[α_n,1],[0,φ(…,[α,1],[0,β])+1])
の式を、
φ(…,[α+1,β+1],[0,γ+1])=lim φ_n
ただしφ_0=φ(…,[α+1,β+1],[0,γ])+1,φ_(n+1)=φ(…,[α+1,β],[α,φ_n])
αが極限順序数のとき
φ(…,[α,β+1],[0,γ+1])=lim φ(…,[α,β],[α_n,φ(…,[α,β+1],[0,γ])+1])
に訂正します。