Вычислимость в иерархиях
Руководитель проекта: С.А.Бадаев
Исполнители проекта: Т.И.Бакибаев
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0211РК00840
Регистрационный номер: 0109РК00793
Ключевые слова: Ершова иерархия, Роджерса полурешетка, Вычислимые семейства,
Доказано существование бесконечных вычислимых семейств разностей вычислимо перечислимых множеств со слабо дистрибутивной полурешеткой Роджерса. Для каждого непредельного уровня иерархии Ершова доказано существование вычислимых семейств без вычислимых минимальных нумераций, а также состоящих из двух вложенных множеств и имеющих одноэлементную полурешетку Роджерса.