01/05/2023, 08:53 PM
I agree, in fact I'm working on Goodstein-like solutions on my quest for naturality.
But there can be a non-trivial zerations zoo of solutions. And this thread is all about that alternative exotic landscape. One day we will be able to appreciate better its taste and meaning I believe, eg. its relationship to tropical math.
But there can be a non-trivial zerations zoo of solutions. And this thread is all about that alternative exotic landscape. One day we will be able to appreciate better its taste and meaning I believe, eg. its relationship to tropical math.
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)\)