RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1978, том 17, номер 1, страницы 56–78 (Mi al1591)

Об одной иерархии независимых $\omega$-кортежей копростых изолей

В. Л. Михеев


Аннотация: Даются определения эффективно и локально эффективно редких $\omega$-кортежей (т. е. счетных кортежей) ретрассируемых функций. Доказывается существование для каждой рекурсивно-перечислимой степени $d> 0$ (локально) эффективно редкого $\omega$-кортежа функций, дополнения областей значений которых рекурсивно-nepeчислимы и имеют одну и ту же степень $\leqslant d$. Эти $\omega$-кортежи используются для построения иерархии типа $\omega+1$ независимых $\omega$-кортежей копростых изолей. Указываются также другие приложения эффективно редких $\omega$-кортежей.

УДК: 517.11:518.5

Поступило: 05.10.1977



Реферативные базы данных:


© МИАН, 2024