A Note on Induction Schemas in Bounded Arithmetic
Ignjatovic, Aleksandar
Original · EN
As is well known, Buss' theory of bounded arithmetic S¹₂ proves Σ₀ᵇ(Σ₁ᵇ)-LIND; however, we show that Allen's D₂¹ does not prove Σ₀ᵇ(Σ₁ᵇ)-LLIND unless P = NC. We also give some interesting alternative axiomatisations of S¹₂.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.