![](https://d3ilqtpdwi981i.cloudfront.net/IevK8_E1FWqhKKrxpb1BZZleHaQ=/425x550/smart/https://bepress-attached-resources.s3.amazonaws.com/uploads/97/06/18/970618fc-176b-4fde-8a77-3659fc103cc2/thumbnail_BPFile%20object.jpg)
Article
Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory
Manuscripta Mathematica
(1979)
Abstract
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.
Disciplines
Publication Date
1979
Citation Information
Lawrence N. Stout. "Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory" Manuscripta Mathematica Vol. 28 (1979) Available at: http://works.bepress.com/lawrence_stout/6/