Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis (0)

by S Feferman
Venue:Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo, N.Y. Studies in Logic and the Foundations of Mathematics