Model Theory Seminar

School of Mathematics, University of Leeds

This week's seminar will be in the MALL (in the Physics Research Deck) and will be on Tuesday 18th November at 1.30pm. We will meet before the seminar at about 1.10pm in the common room just outside the MALL for tea, coffee, and (of course) biscuits.

The seminar is organised by Will Anscombe.

Autumn Term 2014

Week 8, Tuesday 18th November
Edith M. Vargas García
Introduction to clones and their application to CSPs

Clones are sets of operations on a fixed domain that are closed under composition and contain all projections. They play an important role in modern universal algebra, because the set of all term operations of a universal algebra $\mathbb{A}$ always forms a clone. A Constraint Satisfaction Problem (CSP) can be expressed as the problem of deciding whether there exists a homomorphism between two finite relational structures. In this talk a gentle introduction to clones and their connection to CSPs is given.