{"@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/Q976751","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q976751","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q976751","kernelVersion":"v1","immutable":true,"modified":"2025-07-11T14:00:23Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q976751","name":"Note on the construction of free MV-algebras","headline":"Note on the construction of free MV-algebras","description":"scientific article; zbMATH DE number 5721485","url":"https://portal.mardi4nfdi.de/entity/Q976751","datePublished":"2010-06-16","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q396478"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178112"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00012-010-0037-8","url":"https://doi.org/10.1007/S00012-010-0037-8"},"sameAs":["https://doi.org/10.1007/S00012-010-0037-8"],"comment":"A McNaughton function is a map \\(f:[0,1]^n\\rightarrow [0,1]\\), with \\(n\\in {\\mathbb N}^{*}\\), such that \\(f\\) is continuous in the Euclidean topology and there exists a finite number \\(k\\in {\\mathbb N}^{*}\\) of linear polynomials \\(p_1,\\dots ,p_k\\) in \\(n\\) variables with integer coefficients such that, for each \\(x\\in [0,1]^n\\), there exists an index \\(j\\in \\{1,\\dots,k\\}\\) with \\(f(x)=p_j(x)\\). McNaughton's Theorem states that, for any \\(n\\in {\\mathbb N}^{*}\\), the free MV-algebra with \\(n\\) generators is the MV-algebra of the McNaughton functions on \\([0,1]^n\\) with operations defined pointwise from the standard MV-algebra operations. The author gives a new proof for McNaughton's Theorem by using Mundici`s fundamental result on the categorical equivalence between MV-algebras and abelian \\(l\\)-groups with strong unit and Weinberg`s Theorem on free \\(l\\)-groups.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1248535"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3253788"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4429240"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5804993"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1079157"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4302355"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2625376"}]},"provenance":{"prov:generatedAtTime":"2025-07-11T14:00:23Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}