A constructive formulation of Gleason's theorem

DOI10.1023/A:1004275113665zbMath0907.03025MaRDI QIDQ1372943

Helen Billinge

Publication date: 4 November 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsGleason's TheoremHellman's counterexamplerepresentation of states in quantum mechanics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Applications of functional analysis in quantum physics (46N50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Constructive functional analysis (46S30)

Related Items (3)

Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem ⋮ A constructive proof of Gleason's theorem ⋮ Gleason's theorem has a constructive proof

Cites Work

• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Gleason's theorem is not constructively provable
• An elementary proof of Gleason's theorem

This page was built for publication: A constructive formulation of Gleason's theorem