Gleason's theorem has a constructive proof

DOI10.1023/A:1004791723301zbMATH Open0966.03054OpenAlexW1988691789MaRDI QIDQ1582232FDOQ1582232

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

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

zbMATH Keywords

constructive proof of Gleason's theorem

Mathematics Subject Classification ID

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

Cites Work

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

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)