"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies" - читать интересную книгу автора (W. Buchholz, S. Feferman, W. Pohlers, W. Sieg)