RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 1991, том 32, номер 2, страницы 166–169 (Mi smj4620)

Эта публикация цитируется в 13 статьях

О слабо предполных позитивных эквивалентностях

С. А. Бадаев


Аннотация: Эквивалентность $\eta$ на множестве натуральных чисел называется слабо предполной, если существует частично рекурсивная функция $f$ такая, что для любой общерекурсивной функции $\kappa_n$ клиниевского номера $n$ значение $f(n)$ определено и $(f(n),\kappa_nf(n))\in\eta$. Показано, что существует счетное число попарно не эквивалентных слабо предполных позитивных эквивалентностей.
Библиогр. 5.

УДК: 517.11:518.5

Статья поступила: 24.07.1987


 Англоязычная версия: Siberian Mathematical Journal, 1991, 32:2, 321–323

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


© МИАН, 2024