User blog comment:Hyp cos/Attempt of OCF up to Stability/@comment-35470197-20181026043805/@comment-31580368-20190724035427

Can you demonstrate the normal form of functions? For example, you can take the ordinals in normal form corresponding to the expressions of DAN Like {1{1{2,,}1,,2,,}2}

{1{1{1,,2,,}2,,}1,2}

{1{1{1,,3,,}2,,}2}

{1{1{1,,1,,2,,}2,,}1,2}

{1{1',,2,,}1,,2}

{1{1',,1{1',,1,,2,,}2,,}2}

{1,,2{1{2',,}2,,}2}

{1{1{1{1{1{1,,2',,}2,,}2}2',,}1',,2,,}2}