Switch to: References

Add citations

You must login to add citations.
  1. Boolean-Valued Models of Set Theory with Urelements.Xinhe Wu & Bokai Yao - 2024 - Notre Dame Journal of Formal Logic 65 (2):203-227.
    We explore Boolean-valued models of set theory with a class of urelements. In an existing construction, which we call UB, every urelement is its own B-name. We prove the fundamental theorem of UB in the context of ZFUR (i.e., ZF with urelements formulated with Replacement). In particular, UB is shown to preserve Replacement and hence ZFUR. Moreover, UB can both destroy axioms, such as the DCω1-scheme, and recover axioms, such as the Collection Principle. One drawback of UB is that it (...)
    Download  
     
    Export citation  
     
    Bookmark