All intra-regular generalized hypersubstitutions of type (2)
A generalized hypersubstitution of type τ maps each operation symbol of the type to a term of the type, and can be extended to a mapping defined on the set of all terms of this type. The set of all such generalized hypersubstitutions forms a monoid. An element a of a semigroup S is intra-regular if...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2019-08-01
|
| Series: | Acta Universitatis Sapientiae: Mathematica |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/ausm-2019-0003 |