Структуры, порожденные инвариантами
Характеризация операний в алгебрах при помощи частично упорядоченных множеств
Частично упорядоченные множества и их графы сравнимости
Частично упорядоченные множества конечного типа
Частичные порядки группы .
Экономый способ возбедения в данную степень на ЭВМ некоторых полугрупповых объектов
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий