Results 51 to 60 of about 119 (83)

Hyperidentities and clones

open access: yes, 2000
The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences.
Denecke, Klaus-Dieter, Wismath, Shelly
core  

Essential variables in hypersubstitution

open access: yes, 2001
Denecke, Klaus-Dieter, Koppitz, Jörg
core  

THE DIMENSION OF A VARIETY AND THE KERNEL OF A HYPERSUBSTITUTION

open access: yesInternational Journal of Algebra and Computation, 2009
The dimension of a variety V of algebras of a given type was introduced by E. Graczyńska and D. Schweigert in [7] as the cardinality of the set of all derived varieties of V which are properly contained in V. In this paper, we characterize all solid varieties of dimensions 0, 1, and 2; prove that the dimension of a variety of finite type is at most ℵ0;
Denecke, Klaus-Dieter, Wismath, Shelly
openaire   +4 more sources

All idempotent hypersubstitutions of type (2,2)

open access: yesSemigroup Forum, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cangpas, Tawat, Denecke, Klaus-Dieter
openaire   +2 more sources

The semantical kernel of a generalized hypersubstitution

open access: yes, 2003
Created seemingly for its own sake by the authors [``Generalized hypersubstitutions and strongly solid varieties'', Proceedings of the 59th workshop on general algebra, Potsdam, Germany, 2000 (2000)], the notion of generalized hypersubstitution is considered with regard to associated Galois connections and possible (albeit dubitable) interpretations in
Denecke, Klaus-Dieter   +1 more
openaire   +3 more sources

Essential variables in hypersubstitutions

Algebra Universalis, 2001
Given a type \(\tau = (n_i)_{i\in I}\), a hypersubstitution is a mapping \(\sigma \) which assigns to every \(n_i\)-ary operation symbol \(f_i\) an \(n_i\)-ary term \(\sigma (f_i)\). Such a mapping can be inductively extended to the set of all terms of type \(\tau \).
Denecke, Klaus-Dieter, Koppitz, Jörg
openaire   +2 more sources

HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS

Asian-European Journal of Mathematics, 2008
Many-sorted algebras are used in Computer Science for abstract data type specifications. It is widely believed that many-sorted algebras are the appropriate mathematical tools to explain what abstract data types are ([1]). In this paper we want to extend the concept of a hypersubstitution from the one-sorted to the many-sorted case. Hypersubstitutions
Denecke, Klaus, Lekkoksung, Somsak
openaire   +2 more sources

REGULAR WEAK PROJECTION HYPERSUBSTITUTIONS

Asian-European Journal of Mathematics, 2012
It is known that there is a Galois connection between submonoids of the monoid consisting of all hypersubstitutions and complete sublattices of the lattice of all varieties of the same type. It is of interest to know which semigroup properties of hypersubstitutions can be transferred by this Galois connection.
Changphas, Thawhat, Hemvong, Wonlop
openaire   +2 more sources

Home - About - Disclaimer - Privacy