Systems of predicative analysis, II: Representations of ordinals, (1968)

by S Feferman
Venue:The Journal of Symbolic Logic