Transfinite recursive progressions of axiomatic theories (1962)

by S Feferman
Venue:Journal of Symbolic Logic