Antonio Di Nola, Giacomo Lenzi, Luca Spada We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0, 1]. This result also implies the existence, Read more
By A. Di Nola, I. Esposito, B. Gerla In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed.
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 Read more