Convergence in MV-algebras
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099/3484
Tipus de documentArticle
Data publicació1997
EditorUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
$MV$-algebras were introduced in 1958 by Chang and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered $MV$-algebras
and the category of linearly ordered abelian $\ell$-groups.
Mundici extended this result showing a categorical equivalence between the category of the $MV$-algebras and the category of the abelian $\ell$-groups with strong unit.
In this paper, starting from some definitions and results in abelian
$\ell$-groups, we shall study the convergent sequences and the Cauchy sequences in an $MV$-algebra.
The main result is the construction of the Cauchy completion $A^{*}$ of an $MV$-algebra $A$.
It is proved that a complete $MV$-algebra is also Cauchy complete.
Additional results on atomic and complete $MV$-algebras are also given.
ISSN1134-5632
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Georgescu Liguori.pdf | 214,1Kb | Visualitza/Obre |