User blog comment:Hyp cos/TON, stable ordinals, and my array notation/@comment-31580368-20191006023842/@comment-35470197-20191009031848

First of all, what do equations like "TON expression = ordinal" mean? They do not mean ordinal types because you are referring to admissible ordinals. Moreover, TON is not an OCF, but is an ordinal notation (as long as it is well-founded according to Taranovsky's expectation). Therefore they do not mean a corresondence with respect to specific degrees related to collapsing functions.