Атомные модели и обобщенная вычислимость
Руководитель проекта: Кудайбергенов К.Ж.
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0201РК00084
Регистрационный номер: 0101РК00020
Ключевые слова: Множества, Арифметические множества, Математическая логика,
Найдены условия существования атомных моделей над множествами для некоторых классов суперстабильных теорий. Доказано существование семейства рекурсивно перечислимых множеств, для вычислимых нумераций которого не существует отношения ограниченной предельной эквивалентности. Изучены обобщенно вычислимые нумерации семейств арифметических множеств.