User blog comment:Syst3ms/YAUD/@comment-35470197-20180810233326/@comment-35392788-20180812172653

To clarify : yes, I am meaning to talk about actual ordinals, but I can't, because, as I pointed out in another reply, that would make me have to give fixed values for everything (notably \(\psi_M\)) and have a way to figure how to get these fixed values. You saw my last attempt, and you see how hard doing the latter is, and how easy doing the former is.