Gleason'S theorem has a constructive proof

Journal of Philosophical Logic

Volumn 29, Issue 4, 2000, Pages 425-431

  Richman, Fred ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

Constructive mathematics; Gleason's theorem; Principal axes theorem

Indexed keywords

EID: 27444437293     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004791723301     Document Type: Article

References (9)

1. Billinge, Helen (1997) A constructive formulation of Gleason's theorem, J. Philosophical Logic 26, 661-670.
2. Bridges, Douglas (1981) A constructive look at positive linear functionals on ℒ(H), Pacific J. Math. 95, 11-25.
3. Bridges, Douglas (1995) Constructive mathematics and unbounded operators - a reply to Hellman, J. Philosophical Logic 24, 549-561.
4. Cooke, Roger, Michael Keane and William Moran (1985) An elementary proof of Gleason's theorem, Math. Proc. Camb. Phil. Soc. 98, 117-128.
5. Gleason, Andrew M. (1957) Measures on the closed subspaces of a Hilbert space, J. Math. Mech. 6, 885-893.
6. Hellman, Geoffrey (1993) Gleason's theorem is not constructively provable, J. Philosophical Logic 22, 193-203.
7. John, Fritz (1978) Partial Differential Equations, Springer-Verlag.
8. Richman, Fred, and Douglas Bridges (1999) A constructive proof of Gleason's theorem, Journal of Functional Analysis 162, 287-312.
9. Scedrov Andre (1986) Diagonalization of continuous matrices as a representation of the intuitionistic reals, Ann. Pure Appl. Logic 30, 201-206.