NON-CLASSICAL FOUNDATIONS OF SET THEORY
From MaRDI portal
Publication:5070473
DOI10.1017/jsl.2021.101OpenAlexW4200221867MaRDI QIDQ5070473
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
axiom of choicecardinalitygeneralized continuum hypothesisalgebra-valued modelsnon-classical set theories
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
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