ГИПЕРИММУНДЫ ОРАКУЛМЕН ФРИДБЕРГ НӨМІРЛЕУЛЕРІ
Аннотация
Ұсынылған жұмыс гипериммундылық пен барлық жерде анықталған функциялардан тұратын үйірлердің A-есептелімді Фридберг нөмірлеулеріне қатысты бірнеше мәселелерді зерттеуге арналған. Келесі тұжырымдар дәлелденген: кез келген A жиыны үшін егер F барлық жерде анықталған функциялардан тұратын шексіз A-есептелімді үйір болса, онда F үйірінің A-есептелімді Фридберг нөмірлеуі бар; кез келген гипериммунды A жиыны үшін рекурсивті емес A-есептелімді B жиыны табылады; гипериммунды A жиыны үшін егер F барлық жерде анықталған функциялардан тұратын шексіз A-есептелімді үйір болса, онда F үйірінің шексіз көп бір-біріне эквивалентті емес A-есептелімді Фридберг нөмірлеулері болады.
Авторлар туралы
А. А. Исахов
АО «КБТУ»
Қазақстан
Қазақстан
Ф. Рақымжанқызы
Казахский Национальный университет им. аль-Фараби
Қазақстан
Қазақстан
Әдебиет тізімі
1. Rogers H. Godel numberings of partial computable functions J. Symbolic Logic, 1956, Vol. 23, pp. 49-57.
2. Soare R. I. Recursively enumerable sets and degrees. - Berlin; Heidelberg; New York: SpringerVerlag, 1987. - 437 p.
3. Miller W., Martin D. A. The degree of hyperimmune sets Z. Math. LogikGrundlag. Math., 1968, Vol. 14, pp. 159-166.
4. Ershov Yu. L. Theory of numberings Handbook of Computability Theory. - North-Holland; Amsterdam: Stud. Log. Found. Math., 1999, Vol. 140, pp. 473-503.
5. Badaev S. A., Goncharov S. S., Sorbi A. Completeness and universality of arithmetical numberings Computability and Models, S. B. Cooper and S. S. Goncharov (eds.). - New York: Kluwer Academic/Plenum Publishers, 2003, pp. 11-44.
6. Badaev S. A., Issakhov A. A. Some absolute properties of Л-computable numberings Algebra and Logic, 2018, Vol. 57, No. 4, pp. 275-288.
7. Issakhov A. A. Ideals without minimal elements in Rogers semilattices Algebra and Logic, 2015, Vol. 54, No. 3, pp. 197-203.
8. Issakhov A. A. A-computable numberings of the families of total functions The Bulletin of Symbolic Logic, 2016, Vol. 22, No. 3, p. 402.
9. Issakhov A. A., Rakymzhankyzy F. Hyperimmunity and A-computable numberings The Bulletin of Symbolic Logic, 2018, Vol. 24, No. 2, pp. 248-249.
Рецензия
Дәйектеу үшін:
Исахов А.А., Рақымжанқызы Ф. ГИПЕРИММУНДЫ ОРАКУЛМЕН ФРИДБЕРГ НӨМІРЛЕУЛЕРІ. Қазақстан-Британ техникалық университетінің хабаршысы. 2019;16(1):68-72.
For citation:
Issakhov A.A., Rakymzhankyzy F. FRIEDBERG NUMBERINGS WITH A HYPERIMMUNE ORACLE. Herald of the Kazakh-British technical university. 2019;16(1):68-72.
Қараулар:
311
Мақаланы эл. пошта арқылы жіберу 