The following pages link to (Q4893145):
Displaying 6 items.
- Streamlined subrecursive degree theory (Q408165) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)