On constructing free algebras and properties of free Heyting algebras

Add to your list(s) Download to your calendar using vCal

• Dion Coumans, Nijmegen, Netherlands
• Tuesday 06 November 2012, 14:15-15:15
• MR5, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Julia Goedecke.

(joint work with Sam van Gool)

In this talk we give a general method for constructing free algebras, based on partial algebras. We show that, for certain varieties V, the finitely generated free V algebras may be described as the colimit of a chain of partial algebras that is obtained by repeated application of a functor. We give sufficient conditions on V for our method to apply and use duality theory to show that our method applies in particular to certain classes of modal algebras.

In the second part of the talk we focus on Heyting algebras. N. Bezhanishvilli and M. Gehrke have given a description of finitely generated free Heyting algebras as a colimit of finite algebras. We discuss some current research that uses this description to study properties of free Heyting algebras. In particular, we relate this construction to the universal model in intuitionistic logic.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR5, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.