User blog comment:Edwin Shade/Rank-on-Rank Turing Ordinals and Beyond/@comment-80.98.179.160-20180122172647

Your ordinals aren't looking well-defined. But don't use "the first ξ that is ξ↦<1@ξ>" ξ is an ordinal, ξ↦<1@ξ> is a function! I think you meant an = instead of |->.