03/23/2015, 09:00 AM
He means \( f^{a - N_q}(N_q[q]b) = g^{b - N_q}(N_q[q]a) \) where \( f^x \) is the xth iteration of the function f and [q] is the q-rank hyperoperation.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
