Andreas Döring, Chris Isham (2008), Journal of Mathematical Physics 49(5):053516 — DOI-10.1063/1.2883742
Standing in the record
Registered on 2026-09-29 at the owner’s request, because the owner’s prior-art novelty map (a private working document on concepts as projectors, the linear representation hypothesis and their neighbours) cites it: §0 and row 8: the Döring–Isham topos program (spectral presheaf) that the map says owns §2.1 and should be instantiated as the “Topos of Bricks”. It is seeded from metadata and published descriptions and has not been read here.
Identification notes: Part of the four-paper 2008 series the map cites as one reference; all four registered. arXiv v1 2007-03-07; journal online 2008-05-13.
It was filed Deferred, unread. NOTE-292 is the close reading of 2026-09-29, and it placed the work: Active — worth reading as the core reference for “quantum propositions as clopen sub-objects of the spectral presheaf” (daseinisation, Sub_cl(Σ), truth objects). It is a cleaned-up restatement of Isham–Butterfield (LIT-325) plus de Groote’s operation, not a new no-go result. Several proofs are sketched or omitted, and the “no global elements” statement it relies on needs dim H > 2, which it never says.