A Note on Induction Schemas in Bounded Arithmetic
| dc.creator | Ignjatovic, Aleksandar | |
| dc.date | 2002-10-14 | |
| dc.date.accessioned | 2026-07-07T03:18:55Z | |
| dc.date.available | 2026-07-07T03:18:55Z | |
| dc.description | As is well known, Buss' theory of bounded arithmetic $S^{1}_{2}$ proves $Σ_{0}^{b}(Σ_{1}^{b})-LIND$; however, we show that Allen's $D_{2}^{1}$ does not prove $Σ_{0}^{b}(Σ_{1}^{b})-LLIND$ unless $P = NC$. We also give some interesting alternative axiomatisations of $S^{1}_{2}$. | |
| dc.identifier | https://arxiv.org/abs/cs/0210011 | |
| dc.identifier | http://arxiv.org/abs/cs/0210011 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31313 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Computational Complexity | |
| dc.subject | F.4.1 | |
| dc.title | A Note on Induction Schemas in Bounded Arithmetic | |
| dc.type | text |