A sheaf model for intuitionistic quantum mechanics

DOI10.1007/BF00872949zbMath0833.18003MaRDI QIDQ1346410

Murray Adelman, John Vincent Corbett

Publication date: 4 April 1995

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

quantum mechanicsresponse functionstopos of sheavesquantum numbersintuitionistic set theorysheaf modelquantum real numbers

Mathematics Subject Classification ID

Applications of operator algebras to the sciences (47L90) General mathematical topics and methods in quantum theory (81Q99) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (5)

A comparison of two topos-theoretic approaches to quantum theory ⋮ Spatial localization in quantum theory based on qr-numbers ⋮ Collimation processes in quantum mechanics interpreted in quantum real numbers ⋮ Boolean information sieves: a local-to-global approach to quantum information ⋮ A topos for algebraic quantum theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of filters
• Boolean topoi and the theory of sets
• Two Applications of Logic to Mathematics
• PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS

This page was built for publication: A sheaf model for intuitionistic quantum mechanics