2013/06/08 by Carmen Constantin, Constantin, Carmen, Andreas Doering +1 · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #03G12 #06C15 #81P10 #Advanced Algebra and Logic #Advanced Operator Algebra Research #Algebraic structures and combinatorial models #FOS: Mathematics #FOS: Physical sciences #Logic (math.LO) #Quantum Physics (quant-ph) #math.LO #msc:03G12 #msc:06C15 #msc:81P10 #quant-ph
paper · pdf · doi:10.48550/arxiv.1306.1950
12 pages, no figures; v2: minor corrections, improved presentation
openalex publication_date 2013/06/08 · arxiv created 2013/12/05 · arxiv updated 2013/12/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the so-called topos approach, where one considers the poset of Boolean sublattices of L=P(H), the projection lattice of the algebra B(H) of bounded operators on Hilbert space.