Вычислимые классы конструктивизаций моделей конечного типа конструктивности
Некоторые свойства конструктивизации булевых алгебр
Ограниченные теории конструктивных булевых алгебр.
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Универсальные рекурсивно перечислимые булевы алгебры
Позитивные нумерации семейств с однозначными нимерациями
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Сильная конструктивизируемость однородных моделей.
О числе неавтоэквивалентных конструктивизаций
Вычислимые однозначные нумерации
Проблема числа неавтоэквивалентных конструктивизаций
Конструктивизируемость суператомных булевых алгебр.
Эффективно бесконечные классы слабых конструктивизаций моделей
Автоустойчивость и вычислимые семейства конструктивизаций.
О нумерациях насыщенных и однородных моделей
Примеры неавтоустойчивых систем.
Об алгоритмической размерности нильпотентных групп.
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
Конструктивные модели полных разрешимых теорий.
Автоустойчивость моделей
Page 1 Next