Switch to: References

Add citations

You must login to add citations.
  1. Axiomatization and Forcing in Set Theory with Urelements.Bokai Yao - forthcoming - Journal of Symbolic Logic.
    In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms specifically concerning urelements. We prove that these axioms form a hierarchy over $\text {ZFCU}_{\text {R}}$ (ZFC with urelements formulated with Replacement) in terms of direct implication. The second part of the paper studies forcing over countable transitive models of $\text {ZFU}_{\text {R}}$. We propose a new (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reflective Mereology.Bokai Yao - 2023 - Journal of Philosophical Logic 52 (4):1171-1196.
    I propose a new theory of mereology based on a mereological reflection principle. Reflective mereology has natural fusion principles but also refutes certain principles of classical mereology such as Universal Fusion and Fusion Uniqueness. Moreover, reflective mereology avoids Uzquiano’s cardinality problem–the problem that classical mereology tends to clash with set theory when they both quantify over everything. In particular, assuming large cardinals, I construct a model of reflective mereology and second-order ZFCU with Limitation of Size. In the model, classical mereology (...)
    Download  
     
    Export citation  
     
    Bookmark