Abstract:
We establish that the set of minimal generalized computable enumerations of every infinite family computable with respect to a high oracle is effectively infinite. We find some sufficient condition for enumerations of the infinite families computable with respect to high oracles under which there exist minimal generalized computable enumerations that are irreducible to the enumerations.
The author was supported by the subsidy of the government task for Kazan (Volga Region) Federal University (Grant 1.1515.2017/PP) and the Russian Foundation for Basic Research (Grant 15-01-08252).
M. Kh. Faizrahmanov, “Two theorems on minimal generally-computable numberings”, Moscow University Mathematics Bulletin, 78:3 (2023), 136–143
M. Kh. Faizrahmanov, “Effectively Infinite Classes of Numberings of Computable Families of Reals”, Russ Math., 67:5 (2023), 72
M. Kh. Faizrahmanov, “On $p$-universal and $p$-minimal numberings”, Siberian Math. J., 63:2 (2022), 365–373
Marat Faizrahmanov, “Extremal numberings and fixed point theorems”, Mathematical Logic Qtrly, 68:4 (2022), 398
Z. K. Ivanova, M. Kh. Faizrahmanov, “Weak reducibility of computable and generalized computable numberings”, Sib. elektron. matem. izv., 18:1 (2021), 112–120
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive presentations of families relative to $e$-oracles”, Siberian Math. J., 59:4 (2018), 648–656
M. Kh. Faizrahmanov, “The Rogers semilattices of generalized computable enumerations”, Siberian Math. J., 58:6 (2017), 1104–1110