|
This article is cited in 12 scientific papers (total in 12 papers)
Universal generalized computable numberings and hyperimmunity
M. Kh. Faizrakhmanov Kazan (Volga Region) Federal University, ul. Kremlevskaya 18, Kazan, 420008 Russia
Abstract:
Generalized computable numberings relative to hyperimmune and high oracles are studied. We give a description of oracles relative to which every finite computable family has a universal computable numbering. Also we present a characterization of the class of oracles relative to which every universal computable numbering of an arbitrary finite family is precomplete, and establish a sufficient condition for generalized computable numberings to be precomplete. In addition, we look into the question on boundedness of universal numberings computable relative to high oracles.
Keywords:
generalized computable numbering, universal numbering, precomplete numbering, hyperimmune set, high set.
Received: 14.07.2015 Revised: 21.03.2017
Citation:
M. Kh. Faizrakhmanov, “Universal generalized computable numberings and hyperimmunity”, Algebra Logika, 56:4 (2017), 506–521; Algebra and Logic, 56:4 (2017), 337–347
Linking options:
https://www.mathnet.ru/eng/al811 https://www.mathnet.ru/eng/al/v56/i4/p506
|
Statistics & downloads: |
Abstract page: | 320 | Full-text PDF : | 65 | References: | 44 | First page: | 10 |
|