ZF and its interpretations

DOI10.1016/J.APAL.2024.103427MaRDI QIDQ6131202OpenAlexFDO

Authors

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

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

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3652330 (Why is no real title available?)
• A paraconsistent logic obtained from an algebra-valued model of set theory
• Conceptions of Set and the Foundations of Mathematics
• Constructing illoyal algebra-valued models of set theory
• Forcing, Multiverse and Realism
• Generalized algebra-valued models of set theory
• Ideal objects for set theory
• Multiverse conceptions in set theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Non-classical models of \(\mathsf{ZF}\)
• On negation for non-classical set theories
• What \textit{if}? The exploration of an idea
• ZF between classicality and non-classicality

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

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