Unification in varieties of idempotent semigroups (Q1092171): Difference between revisions

We have classified all varieties of idempotent semigroups with respect to the unification types of their defining sets of identities. With the exception of eight finitary unifying theories these are all of unification type zero. This yields countably many examples of theories of that type which are more ''natural'' than the first example constructured by Fages and Huet.