A characterization of MV-algebras free over finite distributive lattices
type: Item
instance of: scholarly article
title: A characterization of MV-algebras free over finite distributive lattices
zbMATH Open document ID: 1148.06006
author: Vincenzo Marra
published in: Archive for Mathematical Logic
publication date: 2008-08-18T00:00:00Z
review text: \textit{D. Mundici} [Arch. Math. Logic 45, 239--247 (2006; Zbl 1094.06010)] characterized free finitely generated MV-algebras. The present author extends Mundici's result; he gives a characterization of MV-algebras which are free over finite distributive lattices. For a detailed formulation of his result, definitions of several auxiliary notions would be needed. In the proof, topological methods are essentially applied.
reviewed by: Ján Jakubík
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06F20
zbMATH DE Number: 5313050
zbMATH Keywords: MV-algebra
zbMATH Keywords: distributive lattice
zbMATH Keywords: lattice-ordered abelian group
zbMATH Keywords: free object
zbMATH Keywords: order complex
MaRDI profile type: Publication
full work available at URL: s00153-008-0084-4
OpenAlex ID: W2069967356
cites work: An algorithmic desingularization of 3-dimensional toric varieties
cites work: Barycentric subdivisions
cites work: Vector lattices freely generated by distributive lattices
cites work: Q4871782
cites work: Minimal generating system, essential divisors and \(G\)-desingularisation of toric varieties
cites work: Algebraic foundations of many-valued reasoning
cites work: Metamathematics of fuzzy logic
cites work: Q3965241
cites work: The Lebesgue state of a unital abelian lattice-ordered group
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
cites work: A characterization of the free \(n\)-generated MV-algebra
cites work: A geometric proof of the completeness of the Łukasiewicz calculus
cites work: Q3935151
cites work: Schauder bases in Banach spaces of continuous functions
DOI: 10.1007/S00153-008-0084-4
description: scientific article; zbMATH DE number 5313050