The following pages link to Circuits in bounded arithmetic. I (Q1353986):
Displayed 4 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- A lower bound for primality (Q5943093) (← links)