Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
Carmen Constantin, Doering, Andreas · arXiv (Cornell University) · 2013
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.