nucleation

LIT-380: A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

1 min read

Properties4
StatusSuperseded — by LIT-382 — A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations; read in full 2026-10-01 (NOTE-327); covered better by part IV (Butterfield & Isham 2002, read alongside), which restates this paper's V-framework definitions nearly verbatim, proves the G ≅ CloΣ isomorphism that this paper only asserts and develops its interval valuations into theorems, and by Döring–Isham II (LIT-335), whose spectral presheaf over V(H) and clopen propositions are the mature form; it remains the citation for introducing V as the base category (as LIT-335 credits it).
Version2
Tagsquantum-foundations, mathematics, contextuality, logic
Cited as “paper” byNOTE-327 — A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

Graph View

Hamilton et al. (1999), International Journal of Theoretical Physics 39(6):1413–1436 (June 2000), per Crossref; the journal pages were not seen — arXiv:quant-ph/9911020

Standing in the record

Filed on 2026-10-01 at the owner’s request. published: is the first appearance (ADR-002).

It was filed Deferred, unread. NOTE-327 is the close reading of 2026-10-01, and it placed the work: Superseded — covered better by part IV (Butterfield & Isham 2002, read alongside), which restates this paper’s V-framework definitions nearly verbatim, proves the G ≅ CloΣ isomorphism that this paper only asserts and develops its interval valuations into theorems, and by Döring–Isham II (LIT-335), whose spectral presheaf over V(H) and clopen propositions are the mature form; it remains the citation for introducing V as the base category (as LIT-335 credits it).

Backlinks