We separate the Collection Principle, the Reflection Principle, and the Partial Reflection Principle in ZF with urelements (ZFU), despite their equivalence under the Axiom of Choice. In particular, Collection and the Partial Reflection Principle are independent of one another, and Collection together with Partial Reflection does not imply the Reflection Principle. We show that Reflection and Collection are equivalent assuming either the Tail axiom or Small Violations of Choice.
Paper
Similar papers
Axiomatization and Forcing in Set Theory with UrelementsBokai Yao2022 · arXiv (Cornell University) In Library
The first-order logic of CZF is intuitionistic.Robert Paßmann2021 · arXiv (Cornell University) In Library