Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)A partial model of NF with E.N. Prati - 1994 - Journal of Symbolic Logic 59 (4):1245 - 1253.
    Partial models of the theory New Foundations (NF) introduced by Quine have already appeared in the literature, but in every model the membership set of NF is missing. On the other hand, Jensen showed that "NF + Urelements" is consistent with respect to ZF and, in the model built there, the membership set of the theory exists. Here we build a partial model of NF from the one of Jensen in which the membership set exists.
    Download  
     
    Export citation  
     
    Bookmark  
  • Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
    The iterative conception of set commonly is regarded as supporting the axioms of Zermelo-Fraenkel set theory (ZF). This paper presents a modified version of the iterative conception of set and explores the consequences of that modified version for set theory. The modified conception maintains most of the features of the iterative conception of set, but allows for some non-wellfounded sets. It is suggested that this modified iterative conception of set supports the axioms of Quine's set theory NF.
    Download  
     
    Export citation  
     
    Bookmark   2 citations