Проблемы полурешеток Роджерса семейств множеств первого и второго уровней иерархии Ершова.
Full Name of the work head: Бадаев Серикжан Агыбаевич
Исполнители проекта:
: АО «Казахстанско-Британский технический университет»
Inventory number: 0220РК01864
Registration number: 0120РК00539
Keywords: вычислимая нумерация,иерархия Ершова,полурешетка Роджерса,мощность полурешетки,спектр минимальности
Целью проекта является нахождение глобальных инвариантов, показывающих существенное различие алгебраических свойств полурешеток Роджерса семейств вычислимо перечислимых множеств, семейств разностей вычислимо перечислимых множеств и семейств множеств иерархии Ершова из более высоких ее уровней. К таким инвариантам относятся спектр числа минимальных элементов в полурешетках Роджерса и спектр мощностей полурешеток Роджерса.
