User blog comment:SuperSpruce/Proposed fix to T array function to make it work past Gamma 0/@comment-36984051-20190623153224/@comment-35470197-20190624132204

Interesting. But the description of [A,B] looks strange. I guess that [A,B] does not necessarily approximately corresponds to B+A when A is 0, because [0,2] in [0,[0,2],1] corresponds to ω^3.

Moreover, does 1 corresponds to ε_0? Otherwise, I could not understand why [0,[0,2],1] corresponds to ω^{ε_0+ω^3}. Or do you mean ω^("the ordinal corresponding to [0,0,B]" + A) instead of ω^(B+A)?

The description of [0,0,A,B] also looks strange. According to your explanation, [0,0,2,1] should correspond to ε("the ordinal corresponding to 1" + "the ordinal corresponding to 2"). Then does 1 correspond to ζ_0 this time? Or do you mean ε("the ordinal corresponding to [0,0,0,B]" + A) instead of ε(B+A)?