User blog comment:Emlightened/Competition - Nov 2018/@comment-25601061-20181108235139/@comment-27513631-20181109210438

Wainer hierarchy i.e. \(\omega(n+1)[k] = \omega n+k\).