Generalized algebra-valued models of set theory
From MaRDI portal
Publication:5247349
DOI10.1017/S175502031400046XzbMATH Open1375.03066MaRDI QIDQ5247349FDOQ5247349
Authors: Sourav Tarafder, Benedikt Löwe 
Publication date: 24 April 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
- A paraconsistent logic obtained from an algebra-valued model of set theory
- Twist-valued models for three-valued paraconsistent set theory
- Algebra-valued models for LP-set theory
- Ordinals in an algebra-valued model of a paraconsistent set theory
- ZF and the axiom of choice in some paraconsistent set theories
Cites Work
- Transfinite numbers in paraconsistent set theory
- Title not available (Why is that?)
- A note on naive set theory in LP
- Extensionality and restriction in naive set theory
- A lattice-valued set theory
- Title not available (Why is that?)
- Quantum set theory
- Fuzzy logic and fuzzy set theory
- Models for a paraconsistent set theory
- Transfer principle in quantum set theory
- An alternative approach for quasi-truth
Cited In (13)
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
- A BRIDGE BETWEEN Q-WORLDS
- ZF between classicality and non-classicality
- A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
- Title not available (Why is that?)
- Ideal objects for set theory
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory
- On negation for non-classical set theories
- Constructing illoyal algebra-valued models of set theory
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- Non-classical models of \(\mathsf{ZF}\)
- ZF and the axiom of choice in some paraconsistent set theories
- \(\mathsf{ZF}\) and its interpretations
This page was built for publication: Generalized algebra-valued models of set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5247349)
