User blog comment:PsiCubed2/Counting with Ordinals/@comment-27516045-20171202162931/@comment-30754445-20171202171037

I haven't posted a formal definition yet, but the general idea should be clear from the examples posted. Just remember that every digit after a dash (-) goes from 1 to 9 and all other digits go from 0 to 9.

For w^w+1 specifically, the procedure is as follows:

(i) Q3 = [w^w^w]10