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