Solomon Feferman Transfinite Recursive Progressions of Axiomatic Theories. 259-316 1962 27 J. Symb. Log. 3 db/journals/jsyml/jsyml27.html#Feferman62