Seminars
Seminar by Prof. P. Belluce
Professor Peter Belluce will give a seminar at 11:00 of the 10th of February at the Sala Riunioni of the DMI.
Seminars
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
Guests
Visit by Dr. Olivia Caramello
Dr. Caramello will be visiting the DMI of Salerno on the 1st and 2d of February 2010.
Preprints
Priestley duality and quotient lattices of many-valued algebras
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 of Priestley dualities.
Preprints
The Prime Spectrum of an MV-Algebra
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 of minimal prime ideals is studied as well.
Preprints
Representation of MV-algebras by regular ultrapowers of [0,1]
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, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated Read more
Preprints
Local algebras in the representation of MV-algebras
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.
Preprints
Abelian l-groups with strong unit and perfect MV-algebras
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. We further describe results for classes of abelian l-groups with strong unit corresponding to local MV-algebras with finite rank.
Seminars
Seminar by Prof. A. Dvurecenskij
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.
Preprints
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 and special maps between them as morphisms.