User blog comment:Edwin Shade/A Complete Analysis of Taranovsky's Notation/@comment-30118230-20180129200050/@comment-32876686-20180129201214

I intend to go as far with this analysis as the notation itself will allow, eventually using Bashicu-matrices for the ordinal comparisons if it turns out that Taranovsky's notation really does surpass standard OCF's.

Thank you for your offer to help in the higher order systems, I'll ask you for help if there is a point I am stuck on.