A constructive proof of Gleason's theorem

DOI10.1006/jfan.1998.3372zbMath0928.46040OpenAlexW2053340053WikidataQ57380996 ScholiaQ57380996MaRDI QIDQ1283029

Douglas S. Bridges, Fred Richman

Publication date: 9 January 2000

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a1f4828daa44aabe9538c4b1be52086fd33fb4fa

zbMATH Keywords

trace class operatorconstructive proof of Gleason's theoremmeasure on closed subspacesrepresentations of the orthogonal group

Mathematics Subject Classification ID

Noncommutative measure and integration (46L51)

Related Items (9)

Constructibility of the universal wave function ⋮ Pluralism in mathematics ⋮ Indeterminism in physics and intuitionistic mathematics ⋮ Quantum cognition and bounded rationality ⋮ Quantum value indefiniteness ⋮ Complex Gleason measures and the Nemytsky operator ⋮ Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem ⋮ On Gleason's theorem without Gleason ⋮ Gleason's theorem has a constructive proof

Cites Work

• Diagonalization of continuous matrices as a representation of intuitionistic reals
• A constructive look at positive linear functionals on L(H)
• A constructive formulation of Gleason's theorem
• Gleason's theorem is not constructively provable
• An elementary proof of Gleason's theorem
• Unnamed Item
• Unnamed Item

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