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