Описание коммутативных моноидов, все полигоны над которыми -стабильны
Решение некоторых алгоритмических задач для конечно определенных коммутативных полугрупп.
Тензорное произведение полугруппы и полугруппы идемпотентов
Финитная отделимость в полугруппах.
Эквивалентность автоматов относительно коммутативной полугруппы.
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур