BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Marco Abbadini (University of Salerno)
DTSTART:20210521T160000Z
DTEND:20210521T180000Z
DTSTAMP:20260423T053132Z
UID:NCLogic/22
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/22/"
 >Is the category of locally finite MV-algebras equivalent to an equational
  class?</a>\nby Marco Abbadini (University of Salerno) as part of Nonclass
 ical Logic Webinar\n\n\nAbstract\nLocally finite MV-algebras form a subcla
 ss of MV-algebras which is closed under homomorphic images\, subalgebras\,
  and finite products\, but not under arbitrary ones. However\, the categor
 y of locally finite MV-algebras with homomorphisms has arbitrary products 
 in the classical categorical sense. Driven by these considerations\, D. Mu
 ndici posed the following question:\nIs the category of locally finite MV-
 algebras equivalent to an equational class? (D. Mundici. Advanced  Lukasie
 wicz calculus. Trends in Logic Vol. 35. Springer 2011\, p. 235\, problem 3
 .)\n\nWe answer this question. \n\nOur proofs rest upon the duality betwee
 n locally finite MV-algebras and multisets established by R. Cignoli\, E. 
 J. Dubuc\, and D. Mundici\, and categorical characterizations of varieties
  established by J. Duskin\, F. W. Lawvere\, and others.\n
LOCATION:https://researchseminars.org/talk/NCLogic/22/
END:VEVENT
END:VCALENDAR