Identities of the Hyperoperation heirarchy

Question

The hyperoperation heirarchy in the naturals starts with addition, then multiplication, then exponentiation, then tetration, and so on. Each operation is defined as repeated application of the previous in the sequence. Here, we are defining 0^0, 0^^0, etc, x^0, x^^0, etc as 1. In a discussion on some online forum, someone was remarking that exponentiation satisfies the identity (x^y)^z=(x^z)^y but tetration does not. And of course, exponentiation fails to satisfy the commutative law. He wondered if this process keeps on happening as you ascend the hyperoperation heirarchy. So, what I would like to know is if the sequence of sets of identities of the hyperoperation heirarchy starting from multiplication, is strictly descending. By identities I mean universally quantified equations without constants. If anyone can link me to a paper on this or a similar topic, I would be immensely delighted.

Answer 1

It turns out this question (or something very similar to it) has been resolved. See this paper for details. It states that "[Martin, 1972] showed that there are no nontrivial equations for $(\mathbb{N}, Ack(n,-, -))$ if $n>2$ (p2). The Ackermann function is defined a little differently from the hyper operators, though.

And "he showed that the identity (E6) [$a^{b × c} = (a^b)^c$] is complete for the standard model $(\mathbb{N}, ↑)$ of positive natural numbers with exponentiation." I think this implies that the identity mentioned in your other question ($(a^b)^c = (a^c)^b$) is also complete, which means the identities for $\wedge$ are a subset of the identities for $\times$.