|
Алгебра и логика, 1988, том 27, номер 3, страницы 343–358
(Mi al2020)
|
|
|
|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Индексные множества фактор-объектов нумерации Поста
В. Л. Селиванов
Аннотация:
Изучаются факторизации нумерации Поста $\pi$ по некоторым отношениям эквивалентности на рекурсивно-перечислимых множествах. Оказалось, что при этом важную роль играют релятивизации понятий предполноты, полноты и $2$-полноты. Например, если $\sim$ — нетривиальное отношение конгруэнтности на решетке рекурсивно-перечислимых множеств, то факторизация $\widetilde\pi$ — универсальная $2$-полная нумерация относительно $\varnothing'$. Если $\sim$ — отношение $T$-эквивалентности, то $\widetilde\pi$ — универсальная полная нумерация относительно $\varnothing''$. Если $\sigma\sim\tau$ означает $\exists n \,\left(\sigma^{(n)}\equiv_T\tau^{(n)}\right)$, то $\widetilde\pi$ — универсальная предполная нумерация относительно $\varnothing^{(\omega)}$. Приводится также ряд следствий об индексных множествах таких факторизации.
Поступило: 24.12.1986
Образец цитирования:
В. Л. Селиванов, “Индексные множества фактор-объектов нумерации Поста”, Алгебра и логика, 27:3 (1988), 343–358
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2020 https://www.mathnet.ru/rus/al/v27/i3/p343
|
Статистика просмотров: |
Страница аннотации: | 74 | PDF полного текста: | 40 |
|