RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2019 Volume 16, Pages 331–339 (Mi semr1062)

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.

UDC: 510.5

MSC: 03D45

Received November 24, 2018, published March 11, 2019

DOI: 10.33048/semi.2019.16.020



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024