The following pages link to (Q3487339):
Displayed 7 items.
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← links)
- Multifunction algebras and the provability of \(PH\downarrow\) (Q1577486) (← links)
- Notations for exponentiation. (Q1853509) (← links)
- Relating the bounded arithmetic and polynomial time hierarchies (Q1899144) (← links)
- Separations of first and second order theories in bounded arithmetic (Q2388431) (← links)