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