A Boolean-valued approach to Gleason's theorem
Gleason's theorems with factor assumption
scientific article; zbMATH DE number 753949
scientific article