Classification of finitely generated lattice-ordered abelian groups with order-unit

Manuela Busaniche, Leonardo Cabrer, Daniele Mundici

A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer…