The following pages link to (Q5691043):
Displayed 7 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Notations for exponentiation. (Q1853509) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- Separation results for the size of constant-depth propositional proofs (Q2566064) (← links)