INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES

DOI10.1017/S1755020321000095MaRDI QIDQ6148462zbMATH OpenOpenAlexWikidataFDO

Authors 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

Boolean-valued modelsindependencenon-classical logicsparaconsistencyset theoryZF

Mathematics Subject Classification ID

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

Cites work

• A paraconsistent logic obtained from an algebra-valued model of set theory
• An indeterminate universe of sets
• Conceptions of Set and the Foundations of Mathematics
• Constructing illoyal algebra-valued models of set theory
• Does mathematics need new axioms?
• Forcing, Multiverse and Realism
• Generalized algebra-valued models of set theory
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3652330 (Why is no real title available?)
• scientific article; zbMATH DE number 1984009 (Why is no real title available?)
• Multiverse conceptions in set theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Non-classical models of \(\mathsf{ZF}\)
• On negation for non-classical set theories
• Ordinals in an algebra-valued model of a paraconsistent set theory
• The realm of the infinite
• The set-theoretic multiverse

Cited in

(2)

• Transcending classical boundaries: choice and its equivalences
• Basic mathematics beyond classicality

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

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