07/10/26 09:42:51
>>796
>ω＾(β+1) =ω＾β*ω=0,ω＾β,ω＾β*2,…
あと、これも必要か。
ω＾γ＝ω＾γ_0,ω＾γ_1,ω＾γ_2,･･･
γ：極限順序数
(γ_0,γ_1,γ_2,…:γの基本列）
特に
ω＾ω＝1,ω＾１,ω＾2,･･･
07/10/26 09:42:51
>>796
>ω＾(β+1) =ω＾β*ω=0,ω＾β,ω＾β*2,…
あと、これも必要か。
ω＾γ＝ω＾γ_0,ω＾γ_1,ω＾γ_2,･･･
γ：極限順序数
(γ_0,γ_1,γ_2,…:γの基本列）
特に
ω＾ω＝1,ω＾１,ω＾2,･･･