The Weyl Product Identity and the Algebraic Origin of the Kochen–Specker Obstruction

The Cross-Context Anticommutation Theorem and the Algebraic Origin of the Kochen–Specker Obstruction

Kochen–Specker Theorem for von Neumann Algebras

The Maslov Index and the Kochen–Specker Obstruction: Negative Results, the k-Profile Theorem, and Orbit 4 Anomaly

A striking feature in the projection operator and the identity operator utilized by the Kochen--Specker theorem

The Kochen-Specker theorem and Bell's theorem: An algebraic approach

New Method of Obtaining the Kochen-Specker Theorem