О разрешимости теории булевых алгебр с выделенным идеалом
О распознавании замещаемости в рекурсивных языках
О существовании нерекурсивных базисов конечных автоматов
Об обобщенных полурешетках и m-степенях индексных множеств
Об Эквациональных теориях классов конечных колец.
Об элементарной теории структур подгрупп
Об элементарных теориях свободных нильпотентных алгебр
Проблема равенства и свободные произведения алгебр Ли и ассоциативных алгебр
Расширенные теории булевых алгебр.
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
Теорема вложения для многообразий Кантора
Элементарная теория скелетов вложимости дискриминаторных многообразий.
Элементарные теории конечно-порожденных про-р-колец.
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий