Вычислимость и определимость в арифметике, модели стабильных теорий первого порядка
Руководитель проекта: С.А.Бадаев
Исполнители проекта: Е.Р.Байсалов
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0205РК00677
Регистрационный номер: 0103РК00709
Ключевые слова: Множества [мат.], Полурешетки [мат.], Роджерса полурешетки, Арифметическая иерархия, Кольца [мат.], Математическая логика,
Объект исследования: алгоритмические и структурные вопросы арифметики. Доказаны теоремы о существовании для каждого уровня арифметической иерархии бесконечного числа семейств множеств с попарно различными элементарными теориями полурешеток Роджерса и многообразии типов изоморфизма полурешеток Роджерса семейств из различных уровней арифметической иерархии. Получено алгебраическое описание полурешетки, порожденной одной нумерацией относительно операций пополнения и взятия точной верхней грани. Показано, что минимальные ассоциативные, правоальтернативные и йордановы кольца являются полями. Область применения: математическая логика.