Predicatively Reducible Systems of Set Theory, in Axiomatic Set Theory (1974)

by S Feferman
Venue:Proceedings of Symposia in Pure Mathematics