Boolean-valued models of set theory with urelements
From MaRDI portal
Publication:6589314
DOI10.1215/00294527-2024-0013MaRDI QIDQ6589314
Publication date: 19 August 2024
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)
This page was built for publication: Boolean-valued models of set theory with urelements
