ZF between classicality and non-classicality

DOI10.1007/S11225-021-09959-WOpenAlexW3189357447MaRDI QIDQ2115287FDOQ2115287

Authors: Sourav Tarafder, Giorgio Venturi 

Publication date: 15 March 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09959-w

Recommendations

• Generalized algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• scientific article; zbMATH DE number 813127
• Orthomodular-valued models for quantum set theory
• Heyting-valued interpretations for constructive set theory

zbMATH Keywords

non-classical logicsset theoryZFalgebra-valued models

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

Cited In (2)

• Ideal objects for set theory
• \(\mathsf{ZF}\) and its interpretations

This page was built for publication: ZF between classicality and non-classicality

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