User blog:KurohaKafka/Bashicu Matrix Analysis

(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)=C(C(Ω_2*2,0),0) (0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)=C(C(Ω_2*2+1,0),0) (0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,1,1)=C(C(Ω_2*2+C(Ω_2+C(Ω_2*2,0),0),0),0)

C(Ω_2*2,0) is a recursively inaccessible ordinal

(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)(5,2,0)=C(C(Ω_2*2+C(Ω_2+C(Ω_2,C(Ω_2*2,0)),0),0),0)

then C(Ω_2*2,0)→C(Ω_2+C(Ω_2,C(Ω_2*2,0)),0)

(0,0,0)(1,1,1)(2,2,0)(3,2,0)=C(C(Ω_2*2+C(Ω_2+C(Ω_2,C(Ω_2,C(Ω_2*2,0))),0),0))

then C(Ω_2,C(Ω_2*2,0)→C(Ω_2+C(Ω_2,C(Ω_2,C(Ω_2*2,0))),0)

(0,0,0)(1,1,1)(2,2,1)=C(C(Ω_2*2+C(Ω_2+C(Ω_2,C(Ω_2,C(Ω_2*2,0)))+1,0),0)) (0,0,0)(1,1,1)(2,2,1)(2,2,0)(3,2,0)=C(C(Ω_2*2+C(Ω_2+C(Ω_2,C(Ω_2,C(Ω_2,C(Ω_2*2,0))))+1,0),0))

then C(Ω_2,C(Ω_2,C(Ω_2*2,0)))→C(Ω_2+C(Ω_2,C(Ω_2,C(Ω_2,C(Ω_2*2,0)))),0)

(0,0,0)(1,1,1)(2,2,1)(3,0,0)=C(C(Ω_2*2+C(Ω_2+C(Ω_2+1,C(Ω_2*2,0)),0),0),0) =PTO of Z_2? (0,0,0)(1,1,1)(2,2,1)(3,2,0)(2,0,0)=C(C(Ω_2*2+C(Ω_2+C(Ω_2*2,C(Ω_2*2,0)),0),0),0)

then C(Ω_2*2,0)→C(Ω_2+C(Ω_2*2,C(Ω_2*2,0)),0)

(0,0,0)(1,1,1)(2,2,1)(3,2,1)=C(C(Ω_2*2+C(Ω_2+C(Ω_2*2,C(Ω_2*2,0))+1,0),0),0)

(0,0,0,0)(1,1,1,1)=C(C(Ω_2*ω,0),0)