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

Сиб. электрон. матем. изв., 2019, том 16, страницы 331–339 (Mi semr1062)

Математическая логика, алгебра и теория чисел

Фридберговы нумерации семейств частично вычислимых функционалов

С. С. Оспичев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.

УДК: 510.5

MSC: 03D45

Поступила 24 ноября 2018 г., опубликована 11 марта 2019 г.

DOI: 10.33048/semi.2019.16.020



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


© МИАН, 2024