Существенно бесконечно базируемые конечные полугруппы
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Схемы доказательств в аксиоматических теориях гильбертовского типа
Схемы программ и эффективные функционалы конечных типов
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Счётные модели малых стабильных теорий.
Счетные модели суперстабильных теорий
Счетные однородные булевы алгебры.
Тeoремы о среднем значении для конструктивного интеграла
Табличные аппроксимации рекурсивных предикатов
Теорема вложения для многообразий Кантора
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
Теорема о недоказуемости нижних временных оценок для некоторого класса функций
Теорема об устранимости сечения для релевантных логик
Теоремы о временной иерархии для машин с произвольным доступом к памяти
Теоремы переноса и алгебра модальных операторов.
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Теории с тремя счетными моделями
Теория A-пространств.