Displaying 541 – 560 of 856

Showing per page

The semantical hyperunification problem

Klaus Denecke, Jörg Koppitz, Shelly Wismath (2001)

Discussiones Mathematicae - General Algebra and Applications

A hypersubstitution of a fixed type τ maps n-ary operation symbols of the type to n-ary terms of the type. Such a mapping induces a unique mapping defined on the set of all terms of type t. The kernel of this induced mapping is called the kernel of the hypersubstitution, and it is a fully invariant congruence relation on the (absolutely free) term algebra F τ ( X ) of the considered type ([2]). If V is a variety of type τ, we consider the composition of the natural homomorphism with the mapping induced...

Currently displaying 541 – 560 of 856