A Constructive Proof of Gleason's Theorem

Journal of Functional Analysis

Volumn 162, Issue 2, 1999, Pages 287-312

  Richman, Fred ^a   Bridges, Douglas ^b  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039427414     PISSN: 00221236     EISSN: None     Source Type: Journal    
DOI: 10.1006/jfan.1998.3372     Document Type: Article

References (8)

1. Billinge H. A constructive formulation of Gleason's theorem. J. Philos. Logic. 26:1997;661-670.
2. Bridges D. A constructive look at positive linear functionals on L(H. Pacific J. Math. 95:1981;11-25.
3. Cooke R., Keane M., Moran W. An elementary proof of Gleason's theorem. Math. Proc. Cambridge Philos. Soc. 98:1985;117-128.
4. Gleason A. M. Measures on the closed subspaces of a Hilbert space. J. Math. Mech. 6:1957;885-893.
5. Hellman G. Gleason's theorem is not constructively provable. J. Philos. Logic. 22:1993;193-203.
6. Hooker C. A. The Logico-algebraic Approach to Quantum Mechanics. 1975;Reidel, Dordrecht.
7. Jordan P., von Neumann J. On inner products in linear metric space. Ann. of Math. 36:1935;719-793.
8. Scedrov A. Diagonalization of continuous matrices as a representation of intuitionistic reals. Ann. Pure Appl. Logic. 30:1986;201-206.