Gleason's theorem has a constructive proof

DOI10.1023/A:1004791723301MaRDI QIDQ1582232zbMATH OpenOpenAlexFDO

Authors Fred Richman

Publication date 26 July 2001

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

Full work available at URL https://doi.org/10.1023/a:1004791723301

zbMATH Keywords

constructive proof of Gleason's theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• Gleason's theorem is not constructively provable
• On Gleason's theorem without Gleason
• A constructive proof of Gleason's theorem
• scientific article; zbMATH DE number 1453811
• A constructive formulation of Gleason's theorem

Cites work

• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• A constructive formulation of Gleason's theorem
• A constructive look at positive linear functionals on L(H)
• A constructive proof of Gleason's theorem
• An elementary proof of Gleason's theorem
• Constructive mathematics and unbounded operators -- a reply to Hellman
• Diagonalization of continuous matrices as a representation of intuitionistic reals
• Gleason's theorem is not constructively provable
• Partial differential equations. 3rd ed

This page was built for publication: Gleason's theorem has a constructive proof

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