Bounded existential induction
arithmetic with bounded existential induction
scientific article