The next meeting of the Algebra and Logic Seminar will be held

on

**June 8, 2018**(Friday) at**1 p.m.**in**Room 578**of the Institute of Mathematics and Informatics.A talk on

### THE ORDER OF HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS OF TYPE ((2);(2))

will be delivered by

**Dara PHUSANGA (Maejo University, Chiang Mai, Thailand).**

Everybody is invited.

**Abstract**

Hypersubstitutions for algebraic systems [1] are mappings which send operation symbols to terms and relational symbols to formulas preserving arities (see [2]). We used it as the tool to study hyperformulas and solid model classes. In this talk, we study the order of each hypersubstitution for algebraic systems of type ((2);(2)) i.e., the order of the cyclic subsemigroup generated by that hypersubstitution of monoid of all hypersubstitutions for algebraic systems of type ((2);(2)). The main result is that the order is 1 or 2 or 3 or 4.

References

[1] A. I. Mal’cev, Algebraic Systems, Akademie-Verlag, Berlin 1973.

[2] D. Phusanga, Derived Algebraic Systems, Ph.D. Thesis, Potsdam (2013).