I think that is a clever way of writing recursion. You made a typographical mistake though.

If we write:

then we have recursion as:

However. I am only concerned with when . Since going to reals requires an universal extension of hyper operators to reals.

But! I had another aha!

for some undetermined

This would actually allow us to extend to some reals. Thanks for this formation of recursion. I think it's a more efficient formula.

If we write:

then we have recursion as:

However. I am only concerned with when . Since going to reals requires an universal extension of hyper operators to reals.

But! I had another aha!

for some undetermined

This would actually allow us to extend to some reals. Thanks for this formation of recursion. I think it's a more efficient formula.