Almost Boolean orthomodular posets (Q582292): Difference between revisions

An orthomodular poset, OMP, is concrete iff it is isomorphic to an OMP of sets (with order \(\subseteq\), the usual orthocomplementation, and \(\cap\) as a partial operation). The authors investigate various, naturally occurring, classes of concrete OMPs: \({\mathcal C}\), the concrete OMPs; \({\mathcal C}_ 0\), the Boolean algebras; \({\mathcal C}_ 1\), the Jauch-Piron OMPs (for any \(A\in {\mathcal C}_ 1\) and any state s on A, \(s(A)=s(B)=1\) implies there exists \(C\subseteq A\cap B\) with \(s(C)=1)\); and two other, arguably less natural classes; \({\mathcal C}_ 2\), the compact-like OMPs; and \({\mathcal C}_ 3\), the infimum faithful OMPs. They prove \({\mathcal C}_ 0\subseteq {\mathcal C}_ 1\subset {\mathcal C}_ 2\subset {\mathcal C}_ 3\subset {\mathcal C}\). They also show that every OMP is the epimorphic image of a member of \({\mathcal C}_ 3\). Connections with the axiomatic foundations of quantum mechanics are discussed, and some open problems are given.