Thanks again for taking the time to parse all that!
ETA: Is this what you were referring to in:
Yeah, kind of. I didn’t know the results but for some reason felt that subtheories of arithmetic shouldn’t lead to intermediate degrees.
No problem! It’s an interesting topic with lots of surrounding results that are somewhat surprising (at least to me).
Thanks again for taking the time to parse all that!
Yeah, kind of. I didn’t know the results but for some reason felt that subtheories of arithmetic shouldn’t lead to intermediate degrees.
No problem! It’s an interesting topic with lots of surrounding results that are somewhat surprising (at least to me).