User blog comment:Edwin Shade/Defining LOCC (Language Of Ordinal Construction)/@comment-25337554-20170927044815/@comment-25337554-20170927050101

By the way, how do you define functions with ordinal arguments bigger than omega? Is it allowed to write something like "(n)eoT(a,b)=T((n)eo(a),b), where a is a limit ordinal"? (I don't know how to express "limit ordinal" in your notation)