Pages that link to "Item:Q3418091"
From MaRDI portal
The following pages link to The strength of sharply bounded induction (Q3418091):
Displayed 13 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)
- Alternating minima and maxima, Nash equilibria and bounded arithmetic (Q764279) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- FRAGMENTS OF APPROXIMATE COUNTING (Q2921008) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- Approximate counting by hashing in bounded arithmetic (Q3399180) (← links)
- Abelian groups and quadratic residues in weak arithmetic (Q3566945) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)
- Approximate counting in bounded arithmetic (Q5422312) (← links)