Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Laminations, Or How To Build A Quantum-Logic-Valued Model Of Set Theory, Lawrence Stout
Laminations, Or How To Build A Quantum-Logic-Valued Model Of Set Theory, Lawrence Stout
Lawrence N. Stout
An explicit construction of the colimit of a filtered diagram in the category of topoi and logical morphisms is given and then used to construct a family of topoi with a fixed Boolean algebra of truth values but with varying amounts of cocompleteness. This same construction, when applied to the diagram of complete Boolean algebras in a quantum logic Q gives a partial topos, a noncategory which is a close to being a model of set theory with algebra of truth values Q as a noncategory can be.