Some invariant skeletons for \(\ell\)-u groups and MV-algebras (Q1732804)

In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], the present reviewer constructed a categorical equivalence $\Gamma$ from MV-algebras (the C.C.Chang algebras of infinite-valued Łukasiewicz logic) to lattice-ordered abelian groups with a distinguished strong order unit, for short unital l-groups. In the paper under review, the authors export to unital $l$-groups various properties of MV-algebras. For example, it is proved that every unital $l$-group has two sets of skeletons. The classes of unital $l$-groups coinciding with the union of such skeletons, respectively, is investigated. Further, the axiomatizability of these unital $l$-groups, as well as their associated MV-algebras, is considered in terms of geometric theories or theories of presheaf type.