Finite basis of ideal terms in ideal determined varieties
It was already shown by A. Ursini that each ideal determined variety of a finite similarity type has finite basis for the ideal term clone. The authors give an explicit description of a basis of ideal terms in every ideal determined variety. In addition, some ideal determined varieties with 1-generated ideal term clone are investigated.
scientific article; zbMATH DE number 1226203