On the Equivalence Between MV-Algebras and l-Groups with Strong Unit

Studia Logica 103 (4):807-814 (2015)
  Copy   BIBTEX

Abstract

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kite Pseudo Effect Algebras.Anatolij Dvurečenskij - 2013 - Foundations of Physics 43 (11):1314-1338.
A Note on Bosbach’s Cone Algebras.Wolfgang Rump & Yichuan Yang - 2011 - Studia Logica 98 (3):375-386.
Equality Algebras.Sándor Jenei - 2012 - Studia Logica 100 (6):1201-1209.

Analytics

Added to PP
2014-12-02

Downloads
70 (#211,298)

6 months
5 (#244,526)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references