Пример атомной не алгебраически простой модели.
Пример теории без слабо ( , )-атомных моделей.
Пример теории, отвечающий на вопрос Б.С.Байжанова
Примеры неавтоустойчивых систем.
Примитивно связные теории
Принципы нормализации формул
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов и группы с неединичным числом концов
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов
Проблема описания автоустойчивых моделей
Проблема числа неавтоэквивалентных конструктивизаций
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Прямые слагаемые булевых алгебр с выделенными идеалами
Пульсирующие иерархии.
Равномерность в теории вычислимых структур
Разделимые типы и ранговые функции в стабильных теориях.
Разрешимость некоторых неэлементарных теорий
Разрешимость теорий конечно-определенных квазигрупп из -многообразий квазигрупп.
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
Разрешимость эквациональной теории положительных чисел с возведением в степень.
Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров