Laminations, or how to build a quantum-logic-valued model of set theory | Zendy

Lawrence Neff Stout | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Laminations, or how to build a quantum-logic-valued model of set theory

Author(s) -

Lawrence Neff Stout

Publication year - 1979

Publication title -

manuscripta mathematica

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.752

H-Index - 46

eISSN - 1432-1785

pISSN - 0025-2611

DOI - 10.1007/bf01954615

Subject(s) - topos theory , mathematics , morphism , boolean algebra , number theory , quantum logic , algebra over a field , pure mathematics , set theory , free boolean algebra , partially ordered set , diagram , discrete mathematics , truth table , set (abstract data type) , two element boolean algebra , quantum , algorithm , algebra representation , computer science , qubit , quantum mechanics , art , statistics , physics , literature , programming language

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research