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