August 2009 – Logic group at the University of Salerno

A discrete representation of free MV-algebras

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

By Luca Spada, 17 years30/08/2009 ago

Preprints

Embeddings of totally ordered MV-algebras of bounded cardinality

by Piotr Wojciechoski For a given cardinal number a, we construct a totally ordered MV-algebra M(a) having the property that every totally-ordered MV-algebra of cardinality at most a embeds into M(a). In case a = ℵ0 , the algebra M(a) is the first known MV-algebra with respect to which the Read more

By Luca Spada, 17 years27/08/2009 ago