Effect algebras with the subsequential interpolation property (Q2476652)

Effect algebras have been defined by \textit{M. K. Bennett} and \textit{D. J. Foulis} [Foundations of Physics 24, 1331--1352 (1994)]. They give an approach to unsharp measurement in quantum mechanics and generalize orthomodular posets. The theorems of Brooks-Jewett, Vitali-Hahn-Saks or the Nikodým boundedness theorem, cf. \textit{H. Weber} [Rocky Mt. J. Math. 16, 253--275 (1986; Zbl 0604.28006)], have been extended by many authors from Boolean rings to fuzzy structures, von Neumann algebras and orthomodular lattices. The authors have shown that the Brooks-Jewett thorem holds for sequentially complete effect algebras, and it is known that they fail for effect algebras in general. In the paper under review the authors prove that the aforementioned three theorems hold for effect algebras with the sequential interpolation property (SIP). This property is weaker than the sequential completeness property (SCP). \((L, \oplus, 0, 1)\) has the SCP iff for every orthogonal sequence in \(L\) there exists an infinite subsequence which is summable. The definition of the SIP is more involved, but according to the authors (3.5) it amounts to requiring the same condition for so-called multisets rather than sequences.