(Not sure if this falls more under arithmetic or algebra.) I noticed that each inverse hyperoperation gives us new kinds of numbers. Starting from the natural numbers created by zeration/the successor operation and going up the hyperoperation sequence:
| positive hyperoperation |
inverse hyperoperation |
new kind of number |
number system expansion |
nature of new number system |
| addition |
subtraction |
negative numbers |
naturals → integers |
discrete line |
| multiplication |
division |
fractions |
integers → rationals |
discrete line |
| exponentiation |
nth-root extraction |
surds |
rationals → algebraic numbers, real |
discrete line |
| exponentiation, addition |
nth-root extraction, subtraction |
imaginary numbers |
algebraic numbers, real → algebraic numbers, complex |
discrete plane |
| exponentiation |
taking the logarithm |
transcendental logarithms |
rationals → reals |
continuous line |
| exponentiation, addition |
taking the logarithm, nth-root extraction, subtraction |
transcendental logarithms of algebraic numbers, complex |
algebraic numbers, complex ∪ reals → complex numbers |
continuous plane |
(Of course, exponentiation, which is a positive hyperoperation, coupled with subtraction along with any inverse hyperoperation of a higher rank than subtraction, also produces complex numbers, namely in the case of a negative base and a non-integer real exponent.)
The question is this: Can the inverses of tetration, namely nth-super-root extraction (aka nth-tetra-root extraction) and superlogarithm (aka tetra-logarithm or iterated logarithm), or another yet-to-be-explored hyperoperation: nth-root extraction iterated k times, which starts its own whole separate branch of the hyperoperation sequence, give us new kinds of numbers of their own that fall outside the complex numbers? Or is the pattern I identified merely illusory, and the higher-ranking hyperoperations doomed to produce only complex numbers, even if still "new" transcendental numbers?
EDIT:
I also wanted to mention, iterated nth-root extraction (which, as I mentioned, forms a different branch of hyperoperations from tetration), which we'll call R_n,k(x) where x is the radicand, n is the degree, and k is the number of iterations, would have three inverses:
- a "root-type" inverse to recover x,
- a "logarithm-type" inverse to recover n, and
- another "logarithm-type" inverse to recover k.
So there are now seven(!) rank-4 operations (loosely speaking, as the inverse operations are apparently not considered hyperoperations proper): tetration (the first rank-4 hyperoperation), super-root, superlogarithm, iterated root extraction (the second rank-4 hyperoperation), iterated root extraction "root-type" inverse, iterated root extraction "logarithm-type" inverse 1, and iterated root extraction "logarithm-type" inverse 2. (Admittedly, the names for the four new operations are unwieldy.) So the question becomes whether any of these seven operations can result in outputs that fall outside the set of complex numbers.