User blog comment:Nayuta Ito/What We've Agreed on Stage Cardinal/@comment-11227630-20180522030604/@comment-31580368-20180612011746

Can we continue the hierarchy?

T1 = Пω = a+1-stable

T2 = a+2-stable

Tω = a+ω-stable

TΩ = a+ωCK-stable = a++-stable

TT = double stable

TT T ... = ordinal corresponding subtle cardinal equivalent