Note on the construction of free MV-algebras (Q976751): Difference between revisions

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.