Projective limits of \(MV\)-spaces
type: Item
instance of: scholarly article
title: Projective limits of \(MV\)-spaces
zbMATH Open document ID: 0876.06003
DOI: 10.1007/BF00405598
author: George Georgescu
author: Antonio Di Nola
published in: Order
publication date: 1997-08-05T00:00:00Z
review text: An \(MV\)-algebra is an abelian monoid \((B,\oplus,0)\) with an operation \(\neg\) such that \(\neg\neg x=x\), \(x\oplus\neg 0=\neg 0\) and \(\neg(\neg x\oplus y)\oplus y=\neg (\neg y\oplus x) \oplus x\). One usually also defines \(1=\neg 0\). For any abelian lattice-group \(G\) with strong unit \(u\), let \(\Gamma(G,u)= [0,u]=\{x\in G|0\leq x\leq u\}\) equipped with the operations \(\neg x=u-x\), \(x\oplus y=(x+y) \wedge u\). Further, for every morphism \(f:(G,u)\to (G',u')\) let \(\Gamma(f)\) be the restriction of \(f\) to \([0,1]\). Then, as proved by the present reviewer in his paper ``Interpretation of AF \(C^*\)-algebras in Lukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], \(\Gamma\) is a categorical equivalence between abelian lattice-groups with strong units, and \(MV\) algebras. The primitive spectrum of an \(MV\)-algebra and of its corresponding lattice-group are the same. The topological characterization of the spaces arising as primitive spectra of \(MV\)-algebras (called \(MV\)-spaces by the authors) is an important open problem. The main result of this paper is that any projective limit of \(MV\)-spaces within the category of spectral spaces is still an \(MV\)-space.
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 1044151
zbMATH Keywords: projective \(MV\)-algebra
zbMATH Keywords: \(MV\)-algebra
zbMATH Keywords: \(MV\)-spaces
zbMATH Keywords: primitive spectra
zbMATH Keywords: projective limit
zbMATH Keywords: category of spectral spaces
MaRDI profile type: Publication
cites work: On countable n-valued Post algebras
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: Subalgebras, direct products and associated lattices of MV-algebras
cites work: The Prime Spectrum of an MV‐Algebra
cites work: Boolean powers
cites work: Q3934450
cites work: Algebraic Analysis of Many Valued Logics
cites work: Priestley duality and quotient lattices of many-valued algebras
cites work: Representation of the Projectable and Strongly Projectable Hulls of a Lattice-Ordered Group
cites work: Representation and reticulation by quotients of MV-algebras
cites work: Q3965241
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: A note on commutative Baer rings III
Recommended article: Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
Recommended article: Q4804660
Recommended article: Semi-simple and complete MV-algebras
Recommended article: Free products of unital \(\ell \)-groups and free products of generalized MV-algebras
Recommended article: Q4461656
Recommended article: Yosida Type Representation for Perfect MV‐Algebras
Recommended article: Q4699340
Recommended article: Coproduct MV-algebras, nonstandard reals, and Riesz spaces
Recommended article: Covers of the Abelian Variety of Generalized MV-Algebras
Recommended article: Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups
description: scientific article; zbMATH DE number 1044151