The following pages link to (Q3028996):
Displaying 7 items.
- A plus-1 theorem for subsections (Q1113897) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- A class of special subordinators with nested ranges (Q2346183) (← links)
- \(\Gamma_0\) may be minimal subrecursively inaccessible (Q2743650) (← links)
- Covering of ordinals (Q2920116) (← links)
- KBOs, ordinals, subrecursive hierarchies and all that (Q2987062) (← links)
- (Q3695270) (← links)