ZF and its interpretations
DOI10.1016/J.APAL.2024.103427OpenAlexW4392380131MaRDI QIDQ6131202FDOQ6131202
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
Boolean-valued modelsHeyting-valued modelsnon-classical set theoryalgebra-valued models\(\mathsf{ZF}\)
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multiverse conceptions in set theory
- What \textit{if}? The exploration of an idea
- On negation for non-classical set theories
- Constructing illoyal algebra-valued models of set theory
- Generalized algebra-valued models of set theory
- Non-classical models of \(\mathsf{ZF}\)
- A paraconsistent logic obtained from an algebra-valued model of set theory
- ZF between classicality and non-classicality
- Ideal objects for set theory
- Forcing, Multiverse and Realism
- Conceptions of Set and the Foundations of Mathematics
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
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)
