|
Математическая логика, алгебра и теория чисел
Фридберговы нумерации семейств частично вычислимых функционалов
С. С. Оспичевab a Sobolev Institute of Mathematics,
4, Koptyuga ave.,
Novosibirsk, 630090, Russia
b Novosibirsk State University,
2, Pirogova str.,
Novosibirsk, 630090, Russia
Аннотация:
We consider computable numberings of families of partial computable functionals of finite types. We show, that if a family of all partial computable functionals of type 0 has a computable friedberg numbering, then family of all partial computable functionals of any given type also has computable Friedberg numbering. Furthermore, for a type $\sigma|\tau$ there are infinitely many nonequivalent computable minimal nonpositive, positive nondecidable and Friedberg numberings.
Ключевые слова:
partial computable functionals, computable morphisms, computable numberings, Rogers semilattice, minimal numbering, positive numbering, Friedberg numbering.
Поступила 24 ноября 2018 г., опубликована 11 марта 2019 г.
Образец цитирования:
С. С. Оспичев, “Фридберговы нумерации семейств частично вычислимых функционалов”, Сиб. электрон. матем. изв., 16 (2019), 331–339
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1062 https://www.mathnet.ru/rus/semr/v16/p331
|
Статистика просмотров: |
Страница аннотации: | 361 | PDF полного текста: | 91 | Список литературы: | 30 |
|