|
Mathematical logic, algebra and number theory
Friedberg numberings of families of partial computable functionals
S. S. Ospichevab a Sobolev Institute of Mathematics,
4, Koptyuga ave.,
Novosibirsk, 630090, Russia
b Novosibirsk State University,
2, Pirogova str.,
Novosibirsk, 630090, Russia
Abstract:
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.
Keywords:
partial computable functionals, computable morphisms, computable numberings, Rogers semilattice, minimal numbering, positive numbering, Friedberg numbering.
Received November 24, 2018, published March 11, 2019
Citation:
S. S. Ospichev, “Friedberg numberings of families of partial computable functionals”, Sib. Èlektron. Mat. Izv., 16 (2019), 331–339
Linking options:
https://www.mathnet.ru/eng/semr1062 https://www.mathnet.ru/eng/semr/v16/p331
|
|