Skip to main content Accessibility help
×
Home

LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE

  • OLIVIA CARAMELLO (a1) and ANNA CARLA RUSSO (a2)

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-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.

Copyright

References

Hide All
[1]Belluce, Lawrence Peter and Chang, Chen Chun, A weak completeness theorem for infinite valued predicate logic. The Journal of Symbolic Logic, vol. 28 (1963), pp. 4350.
[2]Belluce, Lawrence Peter and Di Nola, Antonio, Yosida type representation for perfect MV-algebras. Mathematical Logic Quarterly, vol. 42 (1996), pp. 551563.
[3]Belluce, Lawrence Peter, Di Nola, Antonio, and Gerla, Brunella, Abelian ℓ-groups with strong unit and perfect MV-algebras. Order, vol. 25 (2008), pp. 387401.
[4]Belluce, Lawrence Peter, Di Nola, Antonio, and Gerla, Giangiacomo, Perfect MV-algebras and their logic. Applied Categorical Structures, vol. 15 (2007), pp. 135151.
[5]Bigard, Alain, Keimel, Klaus, and Wolfenstein, Samuel, Groupes et Anneaux Réticulés, vol. 608, Lecture Notes in Mathematics, 1977.
[6]Caramello, Olivia, The unification of Mathematics via Topos Theory, arXiv:math.CT/1006.3930, 2010.
[7]Caramello, Olivia, Syntactic characterizations of properties of classifying toposes. Theory and Applications of Categories, vol. 26 (2012), pp. 176193.
[8]Caramello, Olivia, Universal models and definability. Mathematical Proceedings of the Cambridge Philosophical Society, vol. 152 (2012), pp. 279302.
[9]Caramello, Olivia, Yoneda representations of flat functors and classifying toposes. Theory and Applications of Categories, vol. 26 (2012), pp. 538553.
[10]Caramello, Olivia, Extensions of flat functors and theories of presheaf type, Theories, Sites, Toposes: Relating and Studying Mathematical Theories through Topos-Theoretic ‘Bridges’, Oxford University Press, forthcoming.
[11]Caramello, Olivia, Lattices of theories, Theories, Sites, Toposes: Relating and Studying Mathematical Theories through Topos-Theoretic ‘Bridges’, Oxford University Press, forthcoming.
[12]Caramello, Olivia, Topos-theoretic background, Theories, Sites, Toposes: Relating and Studying Mathematical Theories through Topos-Theoretic ‘Bridges’, Oxford University Press, forthcoming.
[13]Caramello, Olivia and Russo, Anna Carla, The Morita-equivalence between MV-algebras and abelian ℓ-groups with strong unit. Journal of Algebra, vol. 422 (2015), pp. 752787.
[14]Chang, Chen Chung, Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467490.
[15]Cignoli, Roberto, D’Ottaviano, Itala M. L., and Mundici, Daniele, Algebraic Foundations of Many-Valued Reasoning, vol. 7, Trends in Logic, 2000.
[16]Dubuc, Eduardo J. and Poveda, Yuri, Representation theory of MV-algebras, Annals of Pure and Applied Logic. vol. 161 (2010), no. 8, pp. 10241046.
[17]Gabriel, Peter and Ulmer, Friedrich, Lokal präsentierbare Kategorien, vol. 221, Lecture Notes in Mathematics, Springer, 1971.
[18]Jacubík, Ján, Direct product decomposition of MV-algebras. Czechoslovak Mathematical Journal, vol. 44 (1994), pp. 725739.
[19]Johnstone, Peter T., Sketches of an Elephant: A Topos Theory Compendium. Vols. 1–2, vol. 43–44, Oxford University Press, 2002.
[20]McLane, Saunders and Moerdijk, Ieke, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer, New York, 1992.
[21]Mundici, Daniele, Interpretation of af C*-algebras in Ł ukasiewicz sentential calculus. Journal of Functional Analysis, vol. 65 (2002), pp. 1563.
[22]Di Nola, Antonio, Esposito, Ivano, and Gerla, Brunella, Local algebras in the representation of MV-algebras. Algebra Universalis, vol. 56 (2007), pp. 133164.
[23]Di Nola, Antonio, Georgescu, George, and Leuçteanc, Laurenţiu, Boolean products of BL-algebras. Journal of Mathematical Analysis and Applications, vol. 251 (2000), pp. 106131.
[24]Di Nola, Antonio and Lettieri, Ada, Perfect MV-algebras are categorically equivalent to abelian ℓ-groups. Studia Logica, vol. 53 (1994), pp. 417432.
[25]Rodríguez Salas, Antonio Jesús, Un estudio algebraico de los cálculos proposicionales de Lukasiewicz, Ph.D. Thesis, Universidad de Barcelona, 1980.

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed