Phillips lemma on effect algebras of sets (Q2843872)

A natural effect algebra \(\mathcal {F}\) is a natural family \textit{A. Aizpuru} and \textit{A. Gutierrez Davila} [Bull. Belg. Math. Soc. Simon Stevin 11, 409--430 (2004; Zbl 1089.46008)] with structure of effect algebra. A natural effect algebra \(\mathcal {F}\) is said to have property \((S_{1})\) if for every sequence \((A_i)_{i \in \mathbb {N}}\) of disjoint elements of \(\mathcal {F}\), there exist \(H \subseteq \mathbb {N}\) infinite and \(B \in \mathcal {F}\) such that \(\bigcup_{i \in H} A_{i} \subseteq B \subseteq \bigcup_{i \in \mathbb {N}} A_{i}\). In the present paper, the authors have proved a version of Phillip's lemma for strongly additive measures that are defined on a natural effect algebra \(\mathcal {F}\) with property \((S_{1})\), and taking values in a Banach space. From this, the authors have also deduced Vitali-Hahn-Saks type results.