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