Maybe we could just use one of these:
I feel the first is too rigid and demanding, the third too limiting and the second to be the perfect balance between informal/informative/broad but precise..
ps: I like greater iteration theory a lot ...but the problem is... there is not such a theory yet... if not inside my mind and of few others: I'm much more near having a general theory of hyperoperation then having an even vague understanding of how greater or higher iteration theory can be defined.
pps: for the description I'd go for
Where with hyperoperations I'd stick with the Robbins' general definition: I used that to write the MathStackExchange tag for the topic, and it resisted 8 years without being modified, so I guess it's a good one
pps: feel free to fix the English, if needed.
- General theory of Hyperoperations
- Hyperoperations and related studies
- Hyperoperations and Ackermann-like functions
I feel the first is too rigid and demanding, the third too limiting and the second to be the perfect balance between informal/informative/broad but precise..
ps: I like greater iteration theory a lot ...but the problem is... there is not such a theory yet... if not inside my mind and of few others: I'm much more near having a general theory of hyperoperation then having an even vague understanding of how greater or higher iteration theory can be defined.
pps: for the description I'd go for
Hyperoperations and related studies
"Discuss (the mathematics of) hyperoperations families, how to extend and generalize them."
"Discuss (the mathematics of) hyperoperations families, how to extend and generalize them."
Where with hyperoperations I'd stick with the Robbins' general definition: I used that to write the MathStackExchange tag for the topic, and it resisted 8 years without being modified, so I guess it's a good one
Hyperoperation is a field of mathematics which studies indexed families of binary operations, Hyperoperations families, that generalize and extend the standard sequence of the basic arithmetic operations of addition, multiplication and exponentiation.
pps: feel free to fix the English, if needed.
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)\)
