NON-CLASSICAL FOUNDATIONS OF SET THEORY
Sourav Tarafder
Abstract
Abstract In this paper, we use algebra-valued models to study cardinal numbers in a class of non-classical set theories. The algebra-valued models of these non-classical set theories validate the Axiom of Choice, if the ground model validates it. Though the models are non-classical, the foundations of cardinal numbers in these models are similar to those in classical set theory. For example, we show that mathematical induction, Cantor’s theorem, and the Schröder–Bernstein theorem hold in these models. We also study a few basic properties of cardinal arithmetic. In addition, the generalized continuum hypothesis is proved to be independent of these non-classical set theories.
Topics & Concepts
MathematicsUniversal setAxiomSet (abstract data type)Class (philosophy)Axiom of choiceAlgebra over a fieldSet theoryUrelementMathematical inductionDiscrete mathematicsPure mathematicsComputer scienceArtificial intelligenceProgramming languageGeometryAdvanced Topology and Set TheoryAdvanced Algebra and LogicMathematical and Theoretical Analysis