A system of functional equations for slog(x) ?

[tommy1729]

Remind me why the functional equation for superexponentiation (or the superlogarithm) isn't adequate? I seem to recall that there was an issue with apparent inconsistencies?

sexp(x+1) = exp(sexp(x))
slog(exp(x)) = slog(x)+1

Was it just an issue with branches? If so, is that really a problem?

There are many subtle issues , but it relates to our ignorance.
For instance if exp(exp(v)) = v and v is not the first order fixpoint of exp then equation slog(exp(exp(x))) = slog(x)+2 cannot be both analytic and valid near the point Q with slog(Q) = v.

Despite many posts and progress here , A full understanding of these kind of things is not reached yet.
Functional equations are tricky for complex numbers when functions G are involved such that iterations of G are chaotic.

One simple solution seems to say that Q must lie on another branch with another functional equation.
But it seems not to be solved that easy and intuitive.
Why ? Well because for instance the functional equations on the branches do " not care " about the positions of higher order fixpoints.
And no matter how you choose your branches , this cannot be solved trivially and perfectly due to chaos.

That is just one example.

HOWEVER the point (of the OP) is not an inconsistancy but the fact that EVEN FOR THE REALS these functional equations ALONE do not give uniqueness.

Adding an additional functional equation might be a nice road to another solution for tetration.

That was the intention. In particular with focus on the real line.

regards

tommy1729