Теория абелевых групп с конструктивными моделями
Теория конечных полей с дополнительным предикатом, выделяющим подполе.
Теория моделей билинейных отображений.
Теория с двумя сильно конструктивизируемыми моделями.
Типы представимости многообразий и строгие условия Мальцева.
Тонкая иерархия и определимые индексные множества.
Тонкая иерархия формул.
Топологические варианты теоремы о непрерывности отображений и родственных теорем
Топологические пространства и квазиупорядоченные множества
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
Точные оценки доказуемости трансфинитной индукции в начальных отрезках арифметики
Транзитивные размещения алгебраических систем
Трансфинитные развертки арифметических формул
Три способа выявления несущественных формул в секвенциях
Три теоремы о tt-степенях.
Три теоремы об элементарных теориях tt-сводимости.
Тьюрингова сводимость как алгебраическая вложимость
Тьюринговы вычисления с логарифмическим замедлением