Вычислимость в иерархии Ершова и алгебраических структурах
Руководитель проекта: Бадаев С.А.
Исполнители проекта: Таласбаева Ж.Т.
Организация: Научно-исследовательский институт математики и механики при КазНУ им. аль-Фараби
Инвентарный номер: 0212РК01946
Регистрационный номер: 0112РК01501
Ключевые слова: Полурешетка Роджерса, Определимо минимальные структуры, Спектры автоустойчивых структур,
Получено необходимое и достаточное условие конструктивизируемости нильпотентной группы без кручения, размерность коммутанта которой конечна. Доказано существование автоустойчивой двустепенно нильпотентной группы, которая имеет единственную конструктивизацию с точностью до вычислимого автоморфизма. Получено доказательство неразрешимости теории верхней полурешетки нумераций, порожденной одной нумерацией относительно операций пополнения и взятия точной верхней грани, доказательство стабильности определимо минимальных полей характеристики 0.