Gleason’s theorem is not constructively provable (1993)

by G Hellman
Venue:J. Philos. Logic