## A discrete representation of free MV-algebras

We prove that the $n$-generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the $n$-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.

A discrete representation of free MV-algebras

Tags: directed colimit, Free algebra, Łukasiewicz logic, McNaughton functions, MV-algebras

[…] early announcement of the results contained here, given at Slovak Academy of Science, Bratislava, 25 September […]

[…] seminar on the results contained here delivered at the Department of Communication Science of the University of Milano, 27 October […]

[…] seminar on the results contained here delivered at the Department of Communication Science of the University of Milano, 27 October […]