Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.

A characterization of MV-algebras free over finite distributive lattices / V. Marra. - In: ARCHIVE FOR MATHEMATICAL LOGIC. - ISSN 0933-5846. - 47:3(2008 Jul), pp. 263-276.

A characterization of MV-algebras free over finite distributive lattices

V. Marra
Primo
2008

Abstract

Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.
Łukasiewicz logic; Distributive lattices; Free objects; Lattice-ordered Abelian groups with a strong order unit; MV-algebras; Order complexes; Schauder bases
Settore INF/01 - Informatica
lug-2008
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/41710
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 2
social impact