Theorie der Zähmbaren Kongruenzen

Ein Rahmen der Universalalgebra, der das lokale Verhalten endlicher (und teils auch unendlicher) Algebren analysiert, indem minimale Kongruenzpaare in eine endliche Liste von Typen klassifiziert werden und die Folgen dieser Typen für Struktur und Constraint-Satisfaction untersucht werden.