Seminar by Dr. Olivia Caramello
Monday, 1st of February 2010 at 11:00 in the Sala Riunioni Dr. Olivia Caramello will give a seminar on “Il ruolo unificatore dei topoi nella matematica”. Everyone is welcome to join
Monday, 1st of February 2010 at 11:00 in the Sala Riunioni Dr. Olivia Caramello will give a seminar on “Il ruolo unificatore dei topoi nella matematica”. Everyone is welcome to join
Dr. Caramello will be visiting the DMI of Salerno on the 1st and 2d of February 2010.
by R. Cignoli, A. Di Nola A. Lettieri It is shown that the construction and the properties of the functor β from the category of MV-algebras to the category of bounded residuated lattices has a natural interpretation in the contest Read more…
In this paper it is shown that the prime ideal space of an MV-algebra is the disjoint union of prime ideal spaces of suitable local MV-algebras. Some special classes of algebras are defined and their spaces are investigated. The space Read more…
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 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 Read more…
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 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 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) Read more…