|
Алгебра и логика, 1978, том 17, номер 1, страницы 56–78
(Mi al1591)
|
|
|
|
Об одной иерархии независимых $\omega$-кортежей копростых изолей
В. Л. Михеев
Аннотация:
Даются определения эффективно и локально эффективно редких $\omega$-кортежей (т. е. счетных кортежей) ретрассируемых функций. Доказывается существование для каждой рекурсивно-перечислимой степени $d> 0$ (локально) эффективно редкого $\omega$-кортежа функций, дополнения областей значений которых рекурсивно-nepeчислимы и имеют одну и ту же степень $\leqslant d$. Эти $\omega$-кортежи используются для построения иерархии типа $\omega+1$ независимых $\omega$-кортежей копростых изолей. Указываются также другие приложения эффективно редких $\omega$-кортежей.
Поступило: 05.10.1977
Образец цитирования:
В. Л. Михеев, “Об одной иерархии независимых $\omega$-кортежей копростых изолей”, Алгебра и логика, 17:1 (1978), 56–78
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1591 https://www.mathnet.ru/rus/al/v17/i1/p56
|
Статистика просмотров: |
Страница аннотации: | 39 | PDF полного текста: | 26 |
|