A discrete representation of free MV‐algebras
Antonio Di Nola, Revaz Grigolia, Luca Spada · Mathematical logic quarterly · 2010
Abstract We prove that the m ‐generated free MV‐algebra is isomorphic to a quotient of the disjoint union of all the m ‐generated free MV(n)‐algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV(n)‐algebras and special maps between them as morphisms (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)