|
On infinite direct sums of minimal numberings of functional families
Sh. D. Nodirova, M. Kh. Faizrahmanovb, Z. K. Shchedrikovac a Karshi State University, 17 Kuchabog str., Karshi, 180100 Republic of Uzbekistan
b Kazan Federal University, 18 Kremlyovskaya str., Kazan, 420008 Russia
c Innopolis University, 1 Universitetskaya str., Innopolis, 420500, Russia
Abstract:
The paper discusses two approaches to defining the computability of numberings of families of total functions. We consider both the classical definition of computable numbering of a family of computable functions, according to which the number of a function in this numbering effectively provides its Gödel number, and, expanding the previous one, a definition based on the uniform application of the concept of the left-c.e. element of Baire space. The main question studied in the paper is the possibility of generating all computable numberings of a family by the closure with respect to the reducibility of infinite direct sums of uniform sequences of its single-valued, positive, and minimal numberings.
Keywords:
computable numbering, single-valued numbering, positive numbering, minimal numbering.
Received: 05.03.2024 Revised: 05.03.2024 Accepted: 26.06.2024
Citation:
Sh. D. Nodirov, M. Kh. Faizrahmanov, Z. K. Shchedrikova, “On infinite direct sums of minimal numberings of functional families”, Izv. Vyssh. Uchebn. Zaved. Mat., 2025, no. 4, 38–52
Linking options:
https://www.mathnet.ru/eng/ivm10080 https://www.mathnet.ru/eng/ivm/y2025/i4/p38
|
Statistics & downloads: |
Abstract page: | 23 | Full-text PDF : | 1 | References: | 1 |
|