Wonlop Hemvong

  • Citations Per Year
Learn More
Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is anM-hyperidentity for a subsetM of(More)
  • 1