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