HSP-type Characterization of Strong Equational Classes of Partial Algebras

摘要

This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of a fully invariant congruence, and extension of algebras, specific for strong equations. Keywords partial algebra - equational logic - equation - strong equational class Presented by Wieslaw Dziobiak