Сохранение эквивалентности выводов при редукции глубины формул
Спектр жестких систем хорновых классов.
Спектры степеней для отношений на булевых алгебрах
Сравнение линейной сводимости с другими сводимостями табличного типа.
Сравнение топологической и реляционной семантик суперинтуиционистских логик
Стабильные геометрические решетки
Стабильные модулярные решетки малой высоты
Степени неразрешимости предельно перечислимых множств
Степени свтоматных преобразований
Строение верхней полурешетки рекурсивно-перечислимых m-степеней и смежные вопросы. 1
Строение полурешетки tt1-степеней.
Структура m-степеней индексных множеств семейств частично-рекурсивных функций
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
Структурные свойства вычислимых классов конструктивных моделей
Структуры с импликацией.
Субдифференциалы в булевозначных моделях теории множеств
Суммы степеней бинарных отношений
Суперавтономные нумерации и проектируемые ординалы.
Суперинтуиционистские логики и проективное свойство Бета.
Суперразложимые чисто-инъективные модули хад коммутативными кольцами нормирования