NON-CLASSICAL FOUNDATIONS OF SET THEORY

DOI10.1017/jsl.2021.101OpenAlexW4200221867MaRDI QIDQ5070473

Sourav Tarafder

Publication date: 12 April 2022

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

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

zbMATH Keywords

axiom of choicecardinalitygeneralized continuum hypothesisalgebra-valued modelsnon-classical set theories

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Related Items

\(\mathsf{ZF}\) and its interpretations, INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES

Cites Work

• Unnamed Item
• Unnamed Item
• A strong model of paraconsistent logic
• Large sets in intuitionistic set theory
• Models for a paraconsistent set theory
• Handbook of philosophical logic. Vol. 6
• Non-classical models of \(\mathsf{ZF}\)
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY