Title: Iterated inductive definitions and subsystems of analysis
Subjects: Foundations, Mathematical analysis, Proof theory, Induction (Mathematics), Preuve, theorie de la, Theorie de la Preuve, Analyse mathematique, Induction (Mathematiques), Induktive Definition, Beweistheorie, Fondements