A constructive formulation of Gleason's theorem

DOI10.1023/A:1004275113665MaRDI QIDQ1372943zbMATH OpenFDO

Authors 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

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

Recommendations

• Gleason's theorem is not constructively provable
• Gleason's theorem has a constructive proof
• A constructive proof of Gleason's theorem

Cites work

• scientific article; zbMATH DE number 3987248 (Why is no real title available?)
• scientific article; zbMATH DE number 3804205 (Why is no real title available?)
• An elementary proof of Gleason's theorem
• Constructivism in mathematics. An introduction. Volume I
• Gleason's theorem is not constructively provable

Cited in

(4)

• A constructive proof of Gleason's theorem
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem
• Gleason's theorem has a constructive proof
• The multi-form generalised Gleason theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1372943)