A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Feferman, Solomon, Transfinite Recursive Progressions of Axiomatic Theories (1960) |
| 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) |