Effect algebras with the maximality property (Q1042416)

We recall that an effect algebra is a partial structure \((E,\oplus,0,1)\) such that \(\oplus\) is commutative, associative, and (i) for any \(a \in E\) there is a unique \(a'\in E\) such that \(a\oplus a'=1,\) (ii) if \(a\oplus 1\) is defined in \(E,\) then \(a=0.\) They generalize orthomodular posets and orthoalgebras. An effect algebra has the \textit{maximality property} if \([0,a]\cap [0,b]\) has a maximal element for all \(a,b \in E\). The paper proves that every Jauch-Piron effect algebra \(E\) such that every state \(s\) is Jauch-Piron (i.e., if \(s(a)=s(b)=1\), then there is an element \(c \in E\) such that \(c\leq a,b\) and \(s(c)=1\)), then \(E\) is an orthomodular poset. In addition, a set of Jauch-Piron states with maximality condition is unital iff it is strongly determining. This enables the author to prove that every Jauch-Piron effect algebra with a countable unital set of states is an orthomodular lattice. Finally, some relationships between different conditions are shown.