Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem

Ehud Hrushovski, Itamar Pitowsky

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of…