User blog comment:LittlePeng9/First order oodle theory/@comment-10429372-20141022190441

What are the differences with Rayo's function exepted that is about ordinals? Is this an ordinal version of Rayo's function, just like ITTMs?