Final algebras, cosemicomputable algebras and degrees of unsolvability
congruences of finitely generated free algebras
scientific article; zbMATH DE number 96043
scientific article