05/08/2022, 11:40 PM
0.0
I need time to elaborate that. I'll le that sink during this week.
But man... but when you say
This to me means that ... there is something built-in Bennet operations suggesting they wants to behave good in relationship with the Goodstein operations... not like we are torturing them to satisfy the recursion...
Idk but, in my ignorance, this seems deep...
I need time to elaborate that. I'll le that sink during this week.
But man... but when you say
Quote:So not only is it a plane, but the plane barely moves as we move...
This to me means that ... there is something built-in Bennet operations suggesting they wants to behave good in relationship with the Goodstein operations... not like we are torturing them to satisfy the recursion...
Idk but, in my ignorance, this seems deep...
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)\)