Boolean-valued models of set theory with urelements

DOI10.1215/00294527-2024-0013MaRDI QIDQ6589314zbMATH OpenFDO

Authors Xinhe Wu, Bokai Yao

Publication date 19 August 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

Boolean-valued modelsurelementsZFU

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• A characterization of permutation models in terms of forcing
• Freyd’s models for the independence of the axiom of choice
• Generic absoluteness and Boolean names for elements of a Polish space
• Permutation models and SVC
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

This page was built for publication: Boolean-valued models of set theory with urelements

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