The following pages link to Degrees of relative provability (Q691125):
Displayed 4 items.
- 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)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)