User blog comment:B1mb0w/The S Function Version 2/@comment-5529393-20160628040514/@comment-10262436-20160705114817

OK. I have moved my calculations of the Growth Rate into a separate blog. The reference link can be found on this blog.

The detailed calculations should provide adequate proof of the growth rate from w, to w^^2 to w^^w and e_0. The blog is a work in progress and I will now try to compare the S function directly against ordinal collapsing functions.

The blog does into more detail about the similarities (and differences) between the S function and the FGH functions. This should illustrate why sub and dec procedures are well defined and terminate appropriately. I can provide better proofs if necessary.

Interested in your thoughts on my progress so far.