Pages that link to "Item:Q1128175"
From MaRDI portal
The following pages link to A jump operator on honest subrecursive degrees (Q1128175):
Displaying 7 items.
- Streamlined subrecursive degree theory (Q408165) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Degrees of relative provability (Q691125) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Sub-computabilities (Q3088295) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
