Switch to: References

Add citations

You must login to add citations.
  1. Independence Proofs in Non-Classical Set Theories.Sourav Tarafder & Giorgio Venturi - 2023 - Review of Symbolic Logic 16 (4):979-1010.
    In this paper we extend to non-classical set theories the standard strategy of proving independence using Boolean-valued models. This extension is provided by means of a new technique that, combining algebras (by taking their product), is able to provide product-algebra-valued models of set theories. In this paper we also provide applications of this new technique by showing that: (1) we can import the classical independence results to non-classical set theory (as an example we prove the independence of $\mathsf {CH}$ ); (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations