HARDING, J., et al. Boolean subalgebras of orthoalgebras. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS. 2019, 36(3), 563-609. ISSN 0167-8094. DOI 10.1007/s11083-019-09483-6.
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points.
eng
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.relation.ispartof
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS