Duality theory and skeleta for semisimple MV-algebras
type: Item
instance of: scholarly article
title: Duality theory and skeleta for semisimple MV-algebras
zbMATH Open document ID: 1431.06004
author: Antonio Di Nola
author: Giacomo Lenzi
published in: Studia Logica
publication date: 2018-12-21T00:00:00Z
review text: This is a continuation of the paper by the same authors [``The skeletons of \(l\)-\(u\) groups and of MV-algebras'' (submitted)]. In their paper [Stud. Log. 100, No. 1--2, 253--278 (2012; Zbl 1252.06006)],\textit{V. Marra} and \textit{L. Spada} constructed a duality between semisimple MV-algebras and closed subsets of the Tychonov cube \([0,1]^\mu\) with \(\mu\) ranging over all cardinals. The authors of the paper under review study the effect of this duality on antiskeletal MV-algebras (for this definition see in the paper under review). Examples of antiskeletal MV-algebras are provided by free and by finitely generated projective MV-algebras. Every antiskeletal MV-algebra is indecomposable. The antiskeletal property is presented under subalgebras. It is proved that the class of antiskeletal MV-algebras is not definable in existential second-order logic, but is definable by a formula of monadic second-order logic. Algorithmic issues are considered in the final part of the paper. For background in MV-algebras see [\textit{R. Cignoli} et al., J. Pure Appl. Algebra 189, No. 1--3, 37--59 (2004; Zbl 1055.06004)] and [the reviewer, Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)].
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 6996654
zbMATH Keywords: MV-algebras
zbMATH Keywords: Marra-Spada duality
zbMATH Keywords: omega-skeleton
MaRDI profile type: Publication
full work available at URL: s11225-018-9787-7
OpenAlex ID: W2794430389
cites work: Algebraic foundations of many-valued reasoning
cites work: Extending Stone duality to multisets and locally finite MV-algebras.
cites work: The dual adjunction between MV-algebras and Tychonoff spaces
cites work: Advanced Łukasiewicz calculus and MV-algebras
Wikidata QID: Q130132212
DOI: 10.1007/S11225-018-9787-7
description: scientific article; zbMATH DE number 6996654