The following pages link to (Q3487339):
Displaying 10 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)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- Determinacy and the sharp function on the reals (Q5966622) (← links)
- On sharply bounded length induction (Q6560178) (← links)