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