Basic mathematics beyond classicality

DOI10.1007/978-3-031-62387-5_9MaRDI QIDQ7234165zbMATH OpenFDO

Authors Sourav Tarafder

Publication date 27 April 2026

Full work available at URL https://doi.org/10.1007/978-3-031-62387-5_9

zbMATH Keywords

algebra-valued modelsaxiom of choicebasic mathematicsgeneralized continuum hypothesisindependencenon-classical set theories

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)

Cites work

• \(\mathsf{ZF}\) and its interpretations
• A mathematician's apology.
• A paraconsistent logic obtained from an algebra-valued model of set theory
• 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?)
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
• Models for a paraconsistent set theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Non-classical models of \(\mathsf{ZF}\)
• Ordinals in an algebra-valued model of a paraconsistent set theory
• Transfinite numbers in paraconsistent set theory
• ZF between classicality and non-classicality

This page was built for publication: Basic mathematics beyond classicality

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