References

This talk is based on [2]. We establish, generalizing Di Nola and Lettieri’s categorical equivalence [3], a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classifying topos according to the ‘bridge technique ’ of [1], three levels of bi-interpretability holding for particular classes of formulas: irreducible formulas, geometric sentences and imaginaries. Lastly, by investigating the classifying topos of the theory of perfect MV-algebras, we obtain various results on its syntax and semantics also in relation to the cartesian theory of the variety generated by Chang’s MV-algebra, including a concrete representation for the finitely presentable models of the latter theory as finite products of finitely presentable perfect MV-algebras. Among the results established on the way, we mention a Morita-equivalence between the theory of lattice-ordered abelian groups and that of cancellative lattice-ordered abelian monoids with bottom element