Manuel Bodirsky – Oligomorphic clones

TU Dresden
Many results in universal algebra are stated for algebras over finite domains only. This tutorial is about a finiteness condition for algebras over countably infinite domains, called oligomorphicity, which implies some of the fundamental results that are known for finite domains. I will present basic results, including the Inv-Pol Galois connection for oligomorphic clones, and many examples. I will close with a list of open problems.