The following pages link to Dynamic ordinal analysis (Q1407595):
Displaying 6 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- On the computational complexity of cut-reduction (Q636310) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- Separation results for the size of constant-depth propositional proofs (Q2566064) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
