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, 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) |