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