User blog comment:B1mb0w/J Function Sandpit J 4/@comment-5529393-20151014104445/@comment-10262436-20151014111643

Thanks for the detailed comment. I have two responses:

(1) the J_4 function is based on a definition of sorts. I have updated the blog to explain it. All the calculations provided in this blog are consistent with the definition.

(2) I understand that there is no 'standard' definition for fundamental sequences, but, I am a little surprised that my question re: f_{zeta_0}(2) = f_{epsilon_epsilon_0}(2) does not have one clear answer. Doesn't the definition of the Veblen hierarchy 'assume' or 'impose' one of these answers ? Whether or not it is the 'standard' for fundamental sequences can be left for another day ....