Generalized algebra-valued models of set theory
Benedikt Löwe, Sourav Tarafder
Abstract:
We generalize the construction of lattice-valued models of set theory
due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras
and show that this yields a model of a paraconsistent logic that
validates all axioms of the negation-free fragment of Zermelo-Fraenkel
set theory.
Keywords: set theory, algebra, paraconsistency