Зарежда Събития

Следващото заседание на семинара “Алгебра и логика” ще се проведе на 8 юни 2018 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН.

Доклад на тема

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

ще изнесе Dara PHUSANGA (Maejo University, Chiang mai, Thailand).

Поканват се всички желаещи.
От секция „Алгебра и логика” на ИМИ – БАН

Резюме. 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).

 

Go to Top