|
Mathematical logic, algebra and number theory
Weak reducibility of computable and generalized computable numberings
Z. K. Ivanova, M. Kh. Faizrahmanov Kazan (Volga Region) Federal University, 18, Kremlyovskaya str., Kazan, 420008, Russia
Abstract:
We consider universal and minimal computable numberings with respect to weak reducibility. A family of total functions that have a universal numbering and two non-weakly equivalent computable numberings is constructed. A sufficient condition for the non-existence of minimal $A$-computable numberings of families with respect to weak reducibility is found for every oracle $A$.
Keywords:
computable numbering, $w$-reducibility, $A$-computable numbering, Rogers semilattice.
Received January 28, 2021, published May 12, 2021
Citation:
Z. K. Ivanova, M. Kh. Faizrahmanov, “Weak reducibility of computable and generalized computable numberings”, Sib. Èlektron. Mat. Izv., 18:1 (2021), 112–120
Linking options:
https://www.mathnet.ru/eng/semr1375 https://www.mathnet.ru/eng/semr/v18/i1/p112
|
Statistics & downloads: |
Abstract page: | 172 | Full-text PDF : | 153 | References: | 18 |
|