Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
Abstract
We establish, generalizing Di Nola and Lettieri's categorical equivalence, 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, three levels of bi-intepretability 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2014
- DOI:
- 10.48550/arXiv.1409.4730
- arXiv:
- arXiv:1409.4730
- Bibcode:
- 2014arXiv1409.4730C
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Group Theory;
- Mathematics - Logic;
- 06F20;
- 06F35;
- 18B25;
- 03G30
- E-Print:
- 54 pages