07/10/2010, 09:13 AM

(07/10/2010, 05:19 AM)Base-Acid Tetration Wrote: The same method of proof could possibly be used to easily prove that, possibly for all k>4

The thing is: to define the hyper k-self-root you need a hyper (k-1) operation defined on the reals.

And we still have several methods of doing this without equality proofs.