Sur le spectre maximal d'une algèbre de Lukasiewicz
Per una categoria vengono introdotti gli analoghi dei concetti di "model-companion" e "model-completion" dovuti al Robinson, ottenendo poi varie conseguenze ed applicazioni ad essi relative.
In this paper we define maximal MV-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal MV-algebra is semilocal, then we characterize a maximal MV-algebra as finite direct product of local maximal MV-algebras.
MV-algebras were introduced in 1958 by Chang [4] 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 l-groups. Mundici [10] extended this result showing a categorical equivalence between the category of the MV-algebras and the category of the abelian l-groups with strong unit. In this paper, starting from some definitions and results in abelian...
Page 1