Switch to: Citations

Add references

You must login to add references.
  1. Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
    Download  
     
    Export citation  
     
    Bookmark   163 citations  
  • 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Sets and classes.Charles Parsons - 1974 - Noûs 8 (1):1-12.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
    Introduction. The system of axioms for set theory to be exhibited in this paper is a modification of the axiom system due to von Neumann. In particular it adopts the principal idea of von Neumann, that the elimination of the undefined notion of a property (“definite Eigenschaft”), which occurs in the original axiom system of Zermelo, can be accomplished in such a way as to make the resulting axiom system elementary, in the sense of being formalizable in the logical calculus (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • [Omnibus Review].Azriel Levy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
    Download  
     
    Export citation  
     
    Bookmark   3 citations