The following pages link to Degrees of relative provability (Q691125):
Displaying 6 items.
- Streamlined subrecursive degree theory (Q408165) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Unprovability and proving unprovability (Q2350971) (← links)
- On the structure of the degrees of relative provability (Q2351755) (← links)
- Subrecursive degrees and fragments of Peano arithmetic (Q5945568) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)