it is only reading this definition of ordinal numbers now that i understand that issue i asked you earlier, of why the limit's that of ⍵×n+m instead of ⍵×n.
is there a reason you don't include a space in 'VonNeumann'?
maybe it's better explaining limit ordinal in the section on ordinals. also adding examples of limit ordinals would help.
why is the definition of ⍵^⍵ not something like g({⍵^x×y+z : x,y∊N, z<⍵^x}) ?
you can also explain what a lim_sup is.