Generalized algebra-valued models of set theory

DOI10.1017/S175502031400046XMaRDI QIDQ5247349zbMATH OpenFDO

Authors Sourav Tarafder, Benedikt Löwe

Publication date 24 April 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S175502031400046X

zbMATH Keywords

bounded quantificationlattice-valued modelsparaconsistent logicparaconsistent set theory

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70) Set theory (03E99)

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

• A lattice-valued set theory
• A note on naive set theory in LP
• An alternative approach for quasi-truth
• Extensionality and restriction in naive set theory
• Fuzzy logic and fuzzy set theory
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• Models for a paraconsistent set theory
• Quantum set theory
• Transfer principle in quantum set theory
• Transfinite numbers in paraconsistent set theory

Cited in

(21)

• 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
• Ordinals in an algebra-valued model of a paraconsistent set theory
• ZF and the axiom of choice in some paraconsistent set theories
• scientific article; zbMATH DE number 2063229 (Why is no real title available?)
• Twist-valued models for three-valued paraconsistent set theory
• Algebra-valued models for LP-set theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• A paraconsistent logic obtained from an algebra-valued model of set theory
• \(\mathsf{ZF}\) and its interpretations
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
• A BRIDGE BETWEEN Q-WORLDS
• Paraconsistent models of Zermelo-Fraenkel set theory
• There is hope for connexive set theories!
• Paraconsistent and paracomplete Zermelo-Fraenkel set theory
• Transcending classical boundaries: choice and its equivalences
• Basic mathematics beyond classicality
• A model of connexive set theory

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)