Hyperimmunity and A-computable universal numberings

Alibek Issakhov

2016

Жабық қол жеткізу Метадеректер (CSL-JSON)
DOI 10.1063/1.4959720
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

Whether there exists a computable universal numbering for a computable family is the key question in theory of numberings. In a very general setting, this problem was explored in [Yu. L. Ershov, Theory of Numberings, Handbook of Computability Theory, North-Holland; Amsterdam: Stud. Log. Found. Math., Vol. 140, pp. 473–503, 1999]. For sets A that are Turing jumps of the empty set, the problem was treated in [S. A. Badaev, S. S. Goncharov, and A. Sorbi, Computability and Models, 11–44 (2003)] and other papers. In this work, we investigate families of total functions computable relative to hyperimmune and hyperimmune-free oracles.