Predicativity: The outer limits

In subsequent papers on predicative provability, Feferman does not back away from this proposal. The systems that he introduces in [5, 6 , 7] as explications of predicative provability are conservative over IR.