A semigroup variety is said to be locally š¦-finite, where š¦ stands for any of Greenās relations ā, ā, ā, š, or š„, if every finitely generated semigroup in this variety has only finitely many š¦-classes. We characterize locally š¦-finite varieties of finite axiomatic rank in the language of āforbidden objectsā.
