10/14/2022, 05:50 PM
I can't follow you. Please, clarify what you mean by accessible, double recusion and ow do you think a diagonalization argument would disprove it.
Anyways, if you are interested in a possible route to define a non-naive rank successor process you can begin by this post, and follow the links: https://math.eretrandre.org/tetrationfor...71#pid9571
here a gentle introduction to the topic: (2015) MphLee, Introduction to the non-integer ranks problem
Anyways, if you are interested in a possible route to define a non-naive rank successor process you can begin by this post, and follow the links: https://math.eretrandre.org/tetrationfor...71#pid9571
here a gentle introduction to the topic: (2015) MphLee, Introduction to the non-integer ranks problem
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)\)