The possible values of critical points between strongly congruence-proper varieties of algebras

Pierre Gillibert

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A),…