Second order theories with ordinals and elementary comprehension

We study elementary second order extensions of the theoryID1 of non-iterated inductive definitions and the theoryPAΩ of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ11 comprehension and bar induction without set parameters.