A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752)

This paper provides a proof-theoretic analysis of the theory \(\text{ID}_1^*\), an interesting restriction of the well-known theory \(\text{ID}_1\) of non-iterated inductive definitions, by use of \(\omega\)-model reflection. This method differs from the one used by Probst, who established the result earlier in [\textit{D. Probst}, ``The proof-theoretic analysis of transfinitely iterated quasi least fixed points'', J. Symb. Log. 71, No.~3, 721--746 (2006; Zbl 1115.03084)].