Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.

@article{Stout1979,
author = {Stout, Lawrence Neff},
journal = {Manuscripta mathematica},
keywords = {Topos; Filtered Colimit; Lamination; Partial Category; Boolean Valued Models; Nonlclassical Set Theory; Quantum Logic; Category of Complete Boolean Algebras; Projections on a Hilbert Space},
pages = {379-404},
title = {Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.},
url = {http://eudml.org/doc/154645},
volume = {28},
year = {1979},
}

TY - JOUR
AU - Stout, Lawrence Neff
TI - Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
JO - Manuscripta mathematica
PY - 1979
VL - 28
SP - 379
EP - 404
KW - Topos; Filtered Colimit; Lamination; Partial Category; Boolean Valued Models; Nonlclassical Set Theory; Quantum Logic; Category of Complete Boolean Algebras; Projections on a Hilbert Space
UR - http://eudml.org/doc/154645
ER -