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

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
Keywords MV-Algebras   l-Groups  Good Sequences
Categories (categorize this paper)
DOI 10.1007/s11225-014-9593-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

MVW-Rigs and Product MV-Algebras.Alejandro Estrada & Yuri A. Poveda - 2018 - Journal of Applied Non-Classical Logics 29 (1):78-96.

Add more citations

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.


Added to PP index

Total views
63 ( #165,390 of 2,439,661 )

Recent downloads (6 months)
1 ( #432,499 of 2,439,661 )

How can I increase my downloads?


My notes