Switch to: References

Add citations

You must login to add citations.
  1. In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.
    This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
    Several philosophers have argued that the logic of set theory should be intuitionistic on the grounds that the open-endedness of the set concept demands the adoption of a nonclassical semantics. This paper examines to what extent adopting such a semantics has revisionary consequences for the logic of our set-theoretic reasoning. It is shown that in the context of the axioms of standard set theory, an intuitionistic semantics sanctions a classical logic. A Kripke semantics in the context of a weaker axiomatization (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation