1. Systems of predicative analysis;Feferman, Solomon;J. Symbolic Logic,1964
2. Persistent and invariant formulas relative to theories of higher order;Feferman, S.;Bull. Amer. Math. Soc.,1966
3. 3. K. Gödel, The consistency of the axiom of choice and the generalized continuum hypothesis with the axioms of set theory (2nd printing), Annals of Mathematics Studies No. 3, Princeton Univ. Press, Princeton, N. J., 1951.