{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1362585","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1362585","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1362585","kernelVersion":"v1","immutable":true,"modified":"2025-07-17T07:46:59Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1362585","name":"Projective limits of \\(MV\\)-spaces","headline":"Projective limits of \\(MV\\)-spaces","description":"scientific article; zbMATH DE number 1044151","url":"https://portal.mardi4nfdi.de/entity/Q1362585","datePublished":"1997-08-05","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q377476"},{"@id":"https://portal.mardi4nfdi.de/entity/Q234287"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172073"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF00405598","url":"https://doi.org/10.1007/BF00405598"},"sameAs":["https://doi.org/10.1007/BF00405598"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2559399"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3026980"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4016255"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4304092"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1226512"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3934450"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3253788"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1192092"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4405213"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1199977"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3965241"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1079157"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5670703"}]},"provenance":{"prov:generatedAtTime":"2025-07-17T07:46:59Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}