A constructive formulation of Gleason's theorem (Q1372943)

The paper is devoted to a constructive reformulation of Gleason's Theorem, classically equivalent to the standard formulation, such that for this form of the theorem Hellman's counterexample [\textit{G. Hellman}, J. Philos. Logic 22, No. 2, 193-203 (1993; Zbl 0785.03041)], is not valid. However, the constructive proof of Gleason's Theorem is not known yet. Gleason's Theorem is a fundamental theorem for representation of states in quantum mechanics. Its constructive form would have great mathematical and philosophical consequences.