Определимость наименьших неподвижных точек.
Основные задачи выразимости формул в неклассических логиках
Относительно элементарные подпространства в компактных алгебрах Ли
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next''
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Позитивные теории свободных моноидов
Полные теории унаров.
Полугруппы с одним определяющим соотношением, элементарные теории которых разрешимы
Последовательно и параллельно вычислимые функционалы.
Предмногообразия ассоциативных колец, элементарная теория которых разрешима.
Предмногообразия полугрупп, элементарная теория которых разрешима.
Представление доказательств раскрашенными графами и гипотеза Хадвигера
Предтабличные расширения логики S4 Льюиса.
Пресбургеровость предикатов, регулярных в двух системах счисления
Применение изограмм в поиске вывода
Принцип разделения переменных в пропозициональных логиках
Проблема разрешения для логики предикатов и операций.
Проблема разрешимости уравнений в свободной полугруппе
Проективные свойства Бета в модальных и суперинтуиционистских логиках.