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 L.P. Belluce, A. Di Nola, B. Gerla We investigate the class of abelian l-groups with strong unit corresponding to perfect MV-algebras via the Gamma functor, showing that this is a universal subclass of the class of all abelian l-groups with strong unit and describing the formulas that axiomatize it. Read more…
Prof. Anatoliy Dvurecenskij will give a seminar on “States on MV-algebras” on Thursday 22 october 2009. The seminar will take place at 4.00 pm, in Sala Riunioni of the Department of Mathematics and Computer Science.
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 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…
“MV algebras from the point of view of o-minimality” Abstract: O-minimality is a model-theoretic concept for ordered structures that amountsto requiring definable sets over the domain to be a finite union of singletons and open intervals.In this very informal talk, we will discuss how applying this concept to classes of Read more…