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