Feferman, Solomon, Some Applications of the Notions of Forcing and Generic Sets (1963) Feferman, Solomon, Some Applications of the Notions of Forcing and Generic Sets (Summary) (1965) Feferman, Solomon, Ordinals and Functionals in Proof Theory (1970) Feferman, Solomon, Impredicativity of the Existence of the Largest Divisible Subgroup of an Abelian p-Group (1973) Feferman, Solomon, Generating Schemes for Partial Recursively Continuous Functionals (Summary) (1975) Feferman, Solomon, Generating Schemes for Partial Recursively Continuous Functionals (Summary) (1975) Feferman, Solomon, The Notes on Abstract Model Theory (1975) Feferman, Solomon, Two Notes on Abstract Model Theory (1975) Feferman, Solomon, Inductive Schemata and Recursively Continuous Functionals (1976) Feferman, Solomon, Categorical Foundations and Foundations of Category Theory (1977)