Transfinite cardinals in paraconsistent set theory

DOI10.1017/S1755020312000019zbMATH Open1262.03109MaRDI QIDQ2890698FDOQ2890698

Authors Zach Weber 

Publication date 11 June 2012

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

zbMATH Keywords

paraconsistent logicaxiom of choicenaive set theoryreflection theoremincompactnessinconsistenciestransfinite cardinals

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Large cardinals (03E55)

Recommendations

• Transfinite numbers in paraconsistent set theory
• scientific article; zbMATH DE number 2068676
• Finite cardinals in quasi-set theory
• ℵ₀-Complete cardinals and transcendency of cardinals
• First‐order undefinability of the notion of transfinitely uplifting cardinals
• Extraresolvability and cardinal arithmetic
• scientific article; zbMATH DE number 3222936
• Cardinal invariants above the continuum
• Choiceless large cardinals and set‐theoretic potentialism

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 4070882 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 3210031 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3182321 (Why is no real title available?)
• A note on naive set theory in LP
• 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
• Can \(u\) do that?
• Classical arithmetic is quite unnatural
• Elementary embeddings and infinitary combinatorics
• Extensionality and restriction in naive set theory
• How to be really contraction free
• Inconsistent models of arithmetic. II: The general case
• Real analysis in paraconsistent logic
• Relevant restricted quantification
• The logic of paradox
• Transfinite numbers in paraconsistent set theory

Cited in

(24)

• Reflections on Orlov
• A BRIDGE BETWEEN Q-WORLDS
• Some Comments and Replies
• Revisiting Semilattice Semantics
• Observations on the trivial world
• Deductive cardinality results and nuisance-like principles
• Adaptive Fregean set theory
• Blocking the routes to triviality with depth relevance
• Remarks on naive set theory based on \(\mathbf{LP}\)
• The difficulties in using weak relevant logics for naive set theory
• Metatheory and dialetheism
• From paraconsistent logic to dialetheic logic
• Expanding the logic of paradox with a difference-making relevant implication
• scientific article; zbMATH DE number 910437 (Why is no real title available?)
• Ordinals in an algebra-valued model of a paraconsistent set theory
• A gap 1 cardinal transfer theorem
• Classical logic is not uniquely characterizable
• Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem
• Inconsistent boundaries
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• From the Foundations of Mathematics to Mathematical Pluralism
• Transfinite numbers in paraconsistent set theory
• Paraconsistent logic
• Naive set theory and nontransitive logic

This page was built for publication: Transfinite cardinals in paraconsistent set theory

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