INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES

DOI10.1017/s1755020321000095OpenAlexW3139253417WikidataQ113857264 ScholiaQ113857264MaRDI QIDQ6148462

Sourav Tarafder, Giorgio Venturi

Publication date: 11 January 2024

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

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

zbMATH Keywords

independenceparaconsistencyset theoryBoolean-valued modelsnon-classical logicsZF

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiverse conceptions in set theory
• On negation for non-classical set theories
• Constructing illoyal algebra-valued models of set theory
• Non-classical models of \(\mathsf{ZF}\)
• An indeterminate universe of sets
• THE SET-THEORETIC MULTIVERSE
• Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
• Forcing, Multiverse and Realism
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Conceptions of Set and the Foundations of Mathematics
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
• Does Mathematics Need New Axioms?

This page was built for publication: INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES