Théorie des Congruences Domptables

Un cadre en algèbre universelle qui analyse le comportement local des algèbres finies (et parfois infinies) en classifiant les paires minimales de congruences en un petit ensemble fini de types et en étudiant les conséquences de ces types sur la structure et la satisfaction de contraintes.