by A. Di Nola, R. Grigolia and L. Spada
It is proved that the n-generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the n-generated free MVn-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MVn-algebras and special maps between them as morphisms.