Switch to: Citations

Add references

You must login to add references.
  1. Generalized Algebra-Valued Models of Set Theory.Benedikt Löwe & Sourav Tarafder - 2015 - Review of Symbolic Logic 8 (1):192-205.
    We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
    This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.
    Download  
     
    Export citation  
     
    Bookmark   15 citations