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

How is ordinal tetration defined? For example, what does \(\omega\)^^(\(\omega\times2\)) and \(\omega\)^^\(\omega\)^^\(\varepsilon_0\) equal to?