Определимость и структурные свойства моделей
Full Name of the work head: А.И.Омаров
Исполнители проекта: Е.Р.Байсалов
: НИИ мех. и мат. при КазНУ
Inventory number: 0202РК00984
Registration number: 0100РК00552
Keywords: Математическая логика, Арифметические структуры, Числа, Теория чисел,
Объект исследования: счетно категоричные теории, определимо сложнейшие структуры в теории чисел. Изучены локальные свойства счетно категоричных универсалов в терминах игр Эренфойхта, теоретико-числовая проблема Эрдеша - Вудса, ее влияние на определимость отношений в арифметических структурах. Рассмотрены некоторые вопросы об определимой сложности арифметических структур. Определены условия, при которых функция Рыль-Нардзевского генерической модели для класса Фраиссе является рекурсивной. Результаты могут быть применены в спецкурсах математической логики.