BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: On constructing free algebras and properties of free Heyting alge
 bras - Dion Coumans\, Nijmegen\, Netherlands
DTSTART:20121106T141500Z
DTEND:20121106T151500Z
UID:TALK40753@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:(joint work with Sam van Gool)\n\nIn this talk we give a gener
 al method for constructing free algebras\, based on partial algebras. We s
 how that\, for certain varieties V\, the finitely generated free V algebra
 s may be described as the colimit of a chain of partial algebras that is o
 btained by repeated application of a functor. We give sufficient conditio
 ns on V for our method to apply and use duality theory to show that our me
 thod applies in particular to certain classes of modal algebras.\n\nIn the
  second part of the talk we focus on Heyting algebras. N. Bezhanishvilli a
 nd M. Gehrke have given a description of finitely generated free Heyting a
 lgebras as a colimit of finite algebras. We discuss some current research 
 that uses this description to study properties of free Heyting algebras. I
 n particular\, we relate this\nconstruction to the universal model in intu
 itionistic logic.\n
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR