A note on the theory SID<ω of stratified induction
Florian Ranzi, Thomas Strahm · Mathematical logic quarterly · 2014
We introduce and analyse a theory of finitely stratified general inductive definitions over the natural numbers, , and establish its proof theoretic ordinal, . The definition of bears some similarities with Leivant's ramified theories for finitary inductive definitions.