Hyperidentities in semigroups

From MaRDI portal





Hyperidentities are formulas in a second order language where quantification is allowed as well for individual variables as for operation symbols. This paper is a very nice survey on the theory of hyperidentities in semigroups, its model classes and applications. Several important and recent results and numerous open problems of this theory are presented.NEWLINENEWLINEFor the entire collection see [Zbl 0972.00067].











This page was built for publication: Hyperidentities in semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2772743)