Unital Specker $\ell$-groups and boolean multispaces

Marco Abbadini, Daniele Mundici

As a topological generalization of the notion of a multiset, a boolean multispace is a boolean space $X$ with a continuous function $u:X\to {\mathbb{Z}}_{>0}$, where $\mathbb Z_…