|
Сибирский математический журнал, 2000, том 41, номер 1, страницы 164–166
(Mi smj1507)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О типах сходства и рекурсивного изоморфизма частично рекурсивных функций
Н. В. Литвинов
Аннотация:
Частично рекурсивную функцию, отличную от пустой (т. е. нигде
не определенной) функции и функций-констант, тип сходства которой совпадает
с типом рекурсивного изоморфизма, назовем $t$-функцией. Доказано, что область
значений любой $t$-функции представляет собой натуральный ряд и что уровни
$t$-функции рекурсивно изоморфны. Библиогр. 2.
Статья поступила: 16.01.1998
Образец цитирования:
Н. В. Литвинов, “О типах сходства и рекурсивного изоморфизма частично рекурсивных функций”, Сиб. матем. журн., 41:1 (2000), 164–166; Siberian Math. J., 41:1 (2000), 138–140
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1507 https://www.mathnet.ru/rus/smj/v41/i1/p164
|
Статистика просмотров: |
Страница аннотации: | 185 | PDF полного текста: | 64 |
|