Pages that link to "Item:Q408165"
From MaRDI portal
The following pages link to Streamlined subrecursive degree theory (Q408165):
Displaying 6 items.
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Dedekind cuts and long strings of zeros in base expansions (Q2117788) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- Sub-computabilities (Q3088295) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
