Вычислимость и характеризуемость
Full Name of the work head: С.А.Бадаев
Исполнители проекта: Ж.Т.Таласбаева
: НИИ мех. и мат. при КазНУ
Inventory number: 0206РК00729
Registration number: 0106РК00850
Keywords: Множества [мат.], Вычислимые нумерации, Роджерса полурешетки, Полурешетки [мат.], Математическая логика,
Объект исследования: семейства разностей вычислимо перечислимых множеств. Изучены свойства полурешеток Роджерса семейств множеств иерархии Ершова. Получены достаточные условия существования главных вычислимых нумераций. Построены примеры различных семейств разностей вычислимо перечислимых множеств с одноэлементной полурешеткой Роджерса. Определены простые достаточные условия бесконечности полурешетки Роджерса двухэлементного семейства из произвольного уровня иерархии Ершова. Результаты могут быть использованы в математической логике и алгебре.
