User blog comment:B1mb0w/J Function Sandpit J 4/@comment-1605058-20151014132917/@comment-10262436-20151014203924

Hi Littlepeng9 I agree with all of above including the typo which is now fixed. The definition is mostly hand waving because I don't know any better notation. Have edited now but in short the definition asks for simplest form and my assumption is that the Veblen hierarchy will provide a simplest form for these up to about SVO and maybe beyond.