The following pages link to Bootstrapping. I (Q636291):
Displaying 6 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
