\(\mathsf{ZF}\) and its interpretations

DOI10.1016/j.apal.2024.103427OpenAlexW4392380131MaRDI QIDQ6131202

No author found.

Publication date: 4 April 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2024.103427

zbMATH Keywords

Boolean-valued modelsHeyting-valued modelsnon-classical set theoryalgebra-valued models\(\mathsf{ZF}\)

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Nonclassical and second-order set theories (03E70) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiverse conceptions in set theory
• On negation for non-classical set theories
• Constructing illoyal algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• ZF between classicality and non-classicality
• Ideal objects for set theory
• Forcing, Multiverse and Realism
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Conceptions of Set and the Foundations of Mathematics
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

This page was built for publication: \(\mathsf{ZF}\) and its interpretations