Finitely presented lattice-ordered abelian groups with order-unit

Leonardo Cabrer, Daniele Mundici

Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projectiv…