ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo-Fraenkel …