The following pages link to (Q4893148):
Displaying 5 items.
- Streamlined subrecursive degree theory (Q408165) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- A jump operator on honest subrecursive degrees (Q1128175) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- Algorithmic Information, Plane Kakeya Sets, and Conditional Dimension (Q4973875) (← links)