6 found
Order:
Disambiguations
Joseph R. Shoenfield [6]Joseph Robert Shoenfield [1]
  1.  55
    Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
  2.  83
    The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.
  3.  43
    Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
  4.  63
    Axioms of set theory.Joseph R. Shoenfield - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90.
  5. A relative consistency proof.Joseph R. Shoenfield - 1954 - Journal of Symbolic Logic 19 (1):21-28.
    LetCbe an axiom system formalized within the first order functional calculus, and letC′ be related toCas the Bernays-Gödel set theory is related to the Zermelo-Fraenkel set theory. Ilse Novak [5] and Mostowski [8] have shown that, ifCis consistent, thenC′ is consistent. Mostowski has also proved the stronger result that any theorem ofC′ which can be formalized inCis a theorem ofC.The proofs of Novak and Mostowski do not provide a direct method for obtaining a contradiction inCfrom a contradiction inC′. We could, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  10
    A Relative Consistency Proof.Joseph R. Shoenfield - 1957 - Journal of Symbolic Logic 22 (4):367-368.