A discrete representation of free MV-algebras

摘要

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.