Currently displaying 1 – 6 of 6

Showing per page

Order by Relevance | Title | Year of publication

Model-completion in categories

George GeorgescuIona Petrescu — 1975

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

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.

Maximal MV-algebras.

Alexandru FilipoiuGeorge GeorgescuAda Lettieri — 1997

Mathware and Soft Computing

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.

Convergence in MV-algebras.

George GeorgescuFortuna LiguoriGiulia Martini — 1997

Mathware and Soft Computing

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

Download Results (CSV)