Data di Pubblicazione:
2008
Citazione:
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.
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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Łukasiewicz logic; Distributive lattices; Free objects; Lattice-ordered Abelian groups with a strong order unit; MV-algebras; Order complexes; Schauder bases
Elenco autori:
V. Marra
Link alla scheda completa: