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