Атомные модели и обобщенная вычислимость
Full Name of the work head: Кудайбергенов К.Ж.
Исполнители проекта: К.Ж.Кудайбергенов
: Ин-т мат.
Inventory number: 0201РК00084
Registration number: 0101РК00020
Keywords: Множества, Арифметические множества, Математическая логика,
Найдены условия существования атомных моделей над множествами для некоторых классов суперстабильных теорий. Доказано существование семейства рекурсивно перечислимых множеств, для вычислимых нумераций которого не существует отношения ограниченной предельной эквивалентности. Изучены обобщенно вычислимые нумерации семейств арифметических множеств.
