Results 91 to 100 of about 260 (120)
Some of the next articles are maybe not open access.
1995
Let \({\mathbf A}\) be an algebra. An identity in \({\mathbf A}\) is called a hyperidentity in \({\mathbf A}\) if it is satisfied after replacing the operation symbols by terms of the corresponding arity. The paper gives a survey on the theory of hyperidentitites and its connection to clones.
openaire +3 more sources
Let \({\mathbf A}\) be an algebra. An identity in \({\mathbf A}\) is called a hyperidentity in \({\mathbf A}\) if it is satisfied after replacing the operation symbols by terms of the corresponding arity. The paper gives a survey on the theory of hyperidentitites and its connection to clones.
openaire +3 more sources
Hyperidentities for some varieties of semigroups
Algebra Universalis, 1990Hyperidentities and hypervarieties have been defined by Taylor in [4]. A hypervariety is a class of varieties closed under the formation of equivalent, product, reduct and sub-varieties. Hyperidentities are used to define hypervarieties, in the same way that ordinary identities define varieties.
openaire +1 more source
Hyperidentities of some generalizations of lattices
Algebra Universalis, 1998Let \(\tau : F\rightarrow \mathbb N\) be a type of algebras, where \(F\) is a set of fundamental operation symbols. A mapping \(\mu \) from \(F\) to the set of all terms of type \(\tau \) is called a hypersubstitution if the term assigned to an \(n\)-ary \(f\in F\) is also \(n\)-ary and \(\mu (x)=x\) for every variable \(x\).
openaire +1 more source
Hyperidentities and related concepts. II
2017Summary: This survey article illustrates many important current trends and perspectives for the field including classification of hyperidentities, characterizations of algebras with hyperidentities, functional representations of free algebras, structure results for bilattices, categorical questions and applications.
openaire +2 more sources
Hyperidentities for some varieties of commutative semigroups
, 1991 Shelly L. Wismath
openalex +1 more source
Separation of clones by means of hyperidentities
, 1994 Klaus Denecke, I. A. Malcev
openalex +1 more source