Wilfried Buchholz

Iterated inductive definitions and subsystems of analysis