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

DOI10.1007/BF01954615zbMath0409.03039MaRDI QIDQ1258738

Lawrence Neff Stout

Publication date: 1979

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/154645

zbMATH Keywords

ToposQuantum LogicBoolean Valued ModelsCategory of Complete Boolean AlgebrasFiltered ColimitLaminationNonlclassical Set TheoryPartial CategoryProjections on a Hilbert Space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Quantum logic (03G12) Other aspects of forcing and Boolean-valued models (03E40) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Bibliography on quantum logics and related structures ⋮ Empirical set theory

Cites Work

• Categories of Boolean topoi
• From types to sets
• Aspects of topoi
• Aspects of topoi: Corrigenda and acknowledgements
• Unnamed Item

This page was built for publication: Laminations, or how to build a quantum-logic-valued model of set theory