Gleason’s theorem is not constructively provable (1993)

by G Hellman
Venue:J. Phil. Logic