TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
From MaRDI portal
Publication:2890698
DOI10.1017/S1755020312000019zbMath1262.03109MaRDI QIDQ2890698
Publication date: 11 June 2012
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
reflection theoremaxiom of choiceparaconsistent logicnaive set theoryincompactnessinconsistenciestransfinite cardinals
Large cardinals (03E55) Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53) Axiom of choice and related propositions (03E25)
Related Items
Paraconsistent logic, Adaptive Fregean set theory, Metatheory and dialetheism, NON-CLASSICAL FOUNDATIONS OF SET THEORY, NAIVE SET THEORY AND NONTRANSITIVE LOGIC, From the Foundations of Mathematics to Mathematical Pluralism, Classical logic is not uniquely characterizable, Reflections on Orlov, A BRIDGE BETWEEN Q-WORLDS, The Difficulties in Using Weak Relevant Logics for Naive Set Theory, Expanding the Logic of Paradox with a Difference-Making Relevant Implication, Some Comments and Replies, Inconsistent boundaries, Blocking the routes to triviality with depth relevance, From Paraconsistent Logic to Dialetheic Logic, Observations on the trivial world, REMARKS ON NAIVE SET THEORY BASED ONLP, Revisiting Semilattice Semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Real analysis in paraconsistent logic
- Relevant restricted quantification
- Extensionality and restriction in naive set theory
- A note on naive set theory in LP
- The logic of paradox
- How to be really contraction free
- A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation
- Axiom schemata of strong infinity in axiomatic set theory
- Inconsistent models of arithmetic Part II: the general case
- Elementary embeddings and infinitary combinatorics
- TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
- Classical arithmetic is quite unnatural
- Can u do that?
