{
  "annotation_id": "6e291db6-cd54-450e-a0e5-d8bbe4de8c00",
  "date_created": "2026-03-02T18:02:10.246000Z",
  "date_modified": "2026-03-02T18:02:10.246000Z",
  "file_hash": "0a7b6024dbc463e04a341d0b0616df2c2ef4fd4f73e203e0f5c399ec12054229",
  "private": false,
  "record": {
    "abstract": "The Kochen-Specker theorem has been discussed intensely ever since its\noriginal proof in 1967. It is one of the central no-go theorems of quantum\ntheory, showing the non-existence of a certain kind of hidden states models. In\nthis paper, we first offer a new, non-combinatorial proof for quantum systems\nwith a type $I_{n}$ factor as algebra of observables, including $I_{\\infty}$.\nAfterwards, we give a proof of the Kochen-Specker theorem for an arbitrary von\nNeumann algebra $\\mathcal{R}$ without summands of types $I_{1}$ and $I_{2}$,\nusing a known result on two-valued measures on the projection lattice\n$\\mathcal{P(R)}$. Some connections with presheaf formulations as proposed by\nIsham and Butterfield are made.",
    "arxiv_id": "quant-ph/0408106",
    "authors": [
      "Andreas Doering"
    ],
    "categories": [
      "quant-ph",
      "math-ph",
      "math.MP",
      "math.OA"
    ],
    "doi": "10.1007/s10773-005-1490-6",
    "journal_ref": "Int. J. Theor. Phys. 44, 139-160 (2005)",
    "title": "Kochen-Specker theorem for von Neumann algebras",
    "url": "https://arxiv.org/abs/quant-ph/0408106"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "b143a744-7a7b-4d01-a5d0-539eb4fba0b3",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}