6 citations · 6 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2002
A Note on Induction Schemas in Bounded Arithmetic
Aleksandar Ignjatovic
As is well known, Buss' theory of bounded arithmetic proves ; however, we show that Allen's does not prove $Σ_{0}^{b}(Σ_{1}^{b})-…
cs.LO2002
Some applications of logic to feasibility in higher types
Aleksandar Ignjatovic, Arun Sharma
In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of…