Switch to: Citations

Add references

You must login to add references.
  1. On self-membered sets in Quine's set theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Cofinal Indiscernibles and some Applications to New Foundations.Friederike Körner - 1994 - Mathematical Logic Quarterly 40 (3):347-356.
    We prove a theorem about models with indiscernibles that are cofinal in a given linear order. We apply this theorem to obtain new independence results for Quine's set theory New Foundations, thus solving two open problems in this field.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Set Theory with a Universal Set. Exploring an Untyped Universe.T. E. Forster - 1994 - Studia Logica 53 (4):586-595.
    Download  
     
    Export citation  
     
    Bookmark   19 citations