Joins and meets in effect algebras
Grzegorz Bińczak, Joanna Kaleta, Andrzej Zembrzuski · arXiv (Cornell University) · 2021
We know that each effect algebra $E$ is isomorphic to $π(X)$ for some $E$-test spaces $(X,{\cal T})$.We describe when $π(x)\lor π(y)$ and $π(x)\landπ(y)$ exists for $x,y\in{\cal E}(X,{\cal T})$. Moreover we give the formula for $π(x)\lorπ(x)$ and $π(x)\landπ(y)$ using only $x,y$ and tests which are elements of ${\cal T}$. We obtain an example of finite, not homogeneous effect algebra $E$ such that sharp elements of $E$ form a lattice, whereas $E$ is not a lattice.