Pages that link to "Item:Q5945568"
From MaRDI portal
The following pages link to Subrecursive degrees and fragments of Peano arithmetic (Q5945568):
Displaying 7 items.
- Streamlined subrecursive degree theory (Q408165) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- On the structure of the degrees of relative provability (Q2351755) (← links)
- Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts (Q2784778) (← links)
- (Q5213547) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)