- Full text PDF available (2)
In this paper, we determine the order of hypersubstitutions of type τ = (n) for a natural number n. The results generalize the results in  and .
the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and… (More)