Boolean-valued models of set theory with urelements

DOI10.1215/00294527-2024-0013MaRDI QIDQ6589314FDOQ6589314

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

• Freyd’s models for the independence of the axiom of choice
• Title not available (Why is that?)
• A characterization of permutation models in terms of forcing
• 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)