Forcing with Urelements

MaRDI QIDQ6421858zbMATH OpenFDO

Authors Bokai Yao

Publication date 27 December 2022

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: ZFCU${}_{mR}$ is ZFC (with the Replacement Scheme) modified to allow a class of urelements. I first isolate a hierarchy of axioms based on ZFCU${}_{mR}$ and argue that the Collection Principle should be included as an axiom in order to obtain a more robust set theory with urelements. I then turn to forcing over countable transitive models of ZFCU${}_{mR}$. A new definition of $mathbbP$-names is given. The resulting forcing relation is full just in case the Collection Principle holds in the ground model. While forcing preserves ZFCU${}_{mR}$ and many axioms in the hierarchy, it can also destroy the DC${}_{omeg{a}_1}$-scheme and recover the Collection Principle. The ground model definability fails when the ground model contains a proper class of urelements.

This page was built for publication: Forcing with Urelements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6421858)