Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • A note on intuitionistic models of ${\rm ZF}$.R. Lavendhomme & T. Lucas - 1983 - Notre Dame Journal of Formal Logic 24 (1):54-66.
    Download  
     
    Export citation  
     
    Bookmark   1 citation