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 […]