Abstract
We study the fragment of Peano arithmetic formalizing the
induction principle for the class of decidable predicates, IΔ1. We show that IΔ1 is independent from the set of all true arithmetical II2 sentences. Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on
... read more