Works by Solomon Feferman With With R. L. Vaught

6 found
Order:
  1.  63
    Operational Set Theory and Small Large Cardinals.Solomon Feferman with with R. L. Vaught - manuscript
    “Small” large cardinal notions in the language of ZFC are those large cardinal notions that are consistent with V = L. Besides their original formulation in classical set theory, we have a variety of analogue notions in systems of admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics and recursive ordinal notations (as used in proof theory). On the face of it, it is surprising that such distinctively set-theoretical notions have analogues in such disaparate and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  78
    Arithmetization of Metamathematics in a General Setting.Solomon Feferman with with R. L. Vaught - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  28
    Turing's Thesis.Solomon Feferman with with R. L. Vaught - manuscript
    In the sole extended break from his life and varing in this way we can associate a sysied career in England, Alan Turing spent the tem of logic with any constructive ordinal. It may be asked whether such a years 1936–1938 doing graduate work at..
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  20
    Two Notes on Abstract Model Theory. I. Properties Invariant on the Range of Definable Relations Between Structures.Solomon Feferman with with R. L. Vaught - manuscript
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  14
    Two Notes on Abstract Model Theory. II. Languages for Which the Set of Valid Sentences is Semi-Invariantly Implicitly Definable.Solomon Feferman with with R. L. Vaught - manuscript
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    The First Order Properties of Products of Algebraic Systems.Solomon Feferman with with R. L. Vaught - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark