Pages that link to "Item:Q636290"
From MaRDI portal
The following pages link to The strength of sharply bounded induction requires MSP (Q636290):
Displayed 8 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- FRAGMENTS OF APPROXIMATE COUNTING (Q2921008) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- On the finite axiomatizability of (Q5109206) (← links)