05/28/2013, 10:40 AM
Ok Now is clear.
Anyways the first two statemens are intuitively acceptable, the problem is the I can't think how to prove them for the hypoeroperator starting from the recursive identity, that is the fundamental axiom of the hyperoperations.
You mean to use them as axioms and study the "generated" hyperoperators, or do you have any clues?
Are them really acceptable from a philosophical point of view in your opinion?
Anyways the first two statemens are intuitively acceptable, the problem is the I can't think how to prove them for the hypoeroperator starting from the recursive identity, that is the fundamental axiom of the hyperoperations.
You mean to use them as axioms and study the "generated" hyperoperators, or do you have any clues?
Are them really acceptable from a philosophical point of view in your opinion?
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)\)
