User blog comment:Edwin Shade/Defining LOCC (Language Of Ordinal Construction)/@comment-32697988-20170924234138/@comment-1605058-20170925181902

The problem is that this ordinal is not defined. Can you tell me what this ordinal is without using the notion of tetration? (like how you could define \(\omega\uparrow\uparrow\omega\) as the first fixed point of \(\alpha\mapsto\omega^\alpha\), or limit of \(\omega,\omega^\omega,\omega^{\omega^\omega},\dots\))