An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions (1975)

by Wolfram Pohlers
Venue:In ISILC Proof Theory Symposion, Lecture Notes in Mathematics