The MV-algebra Smω is obtained from the (m+1)-valued Łukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MVmω generated by Smω. This yields an easy description of the free Mmω-algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators.
Finitely generated free MV-algebras and their automorphism groups / PANTI G; DI NOLA A; GRIGOLIA R. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 61:1(1998), pp. 65-78.
Titolo: | Finitely generated free MV-algebras and their automorphism groups |
Autori: | |
Data di pubblicazione: | 1998 |
Rivista: | |
Citazione: | Finitely generated free MV-algebras and their automorphism groups / PANTI G; DI NOLA A; GRIGOLIA R. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 61:1(1998), pp. 65-78. |
Abstract: | The MV-algebra Smω is obtained from the (m+1)-valued Łukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MVmω generated by Smω. This yields an easy description of the free Mmω-algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators. |
Handle: | http://hdl.handle.net/11390/847743 |
Appare nelle tipologie: | 1.1 Articolo in rivista |