Title: Iterated inductive definitions and subsystems of analysis
Subjects: Foundations, Mathematical analysis, Proof theory, Induction (Mathematics)