The following pages link to Bootstrapping. I (Q636291):
Displayed 4 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)