In fact I don't get it at all, probably is related with iteration theory or idk..
How can help us finding such automorphism of addition? Anyways I guess that probably there are infinite automorphisms...so I do not know where you would end up
for example \( f=id \) is a trivial solution.
imho we should just see if
\( ^{(slog_J(a)+0,5)}J + ^{(slog_J(b)+0,5)}J = { ^{(slog_K(a)+0,5)}K + ^{(slog_K(b)+0,5)}K} \)
How can help us finding such automorphism of addition? Anyways I guess that probably there are infinite automorphisms...so I do not know where you would end up
for example \( f=id \) is a trivial solution.
imho we should just see if
\( ^{(slog_J(a)+0,5)}J + ^{(slog_J(b)+0,5)}J = { ^{(slog_K(a)+0,5)}K + ^{(slog_K(b)+0,5)}K} \)
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)\)