О главных нумерациях класса Σ−1n1. Σ −1 n классының бас нөмр- леурi туралы.
82 41
Кілттік сөздер:
иерархия Ершова, перечислимые множества, нумерации.Аннотация
В статье рассмотрены некоторые семейства конструктивных объектов из иерархии Ершова, обладающие главными нумерациями. Мақалада бас нөмрлеурi бар Ершов иерархиясының конструктивтi объектiлерiнiң кейбiр үйiрлерi қарастырылған.Библиографиялық сілтемелер
[1] Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. – М.: Мир, 1972.
[2] Соар Р.И. Вычислимо перечислимые множества и степени. – Казань: Казанское математическое общество, 2000.
[3] Ершов Ю.Л. Теория нумераций. – М.: Наука, 1977. - 416 с.
[4] Badaev S.A., Goncharov S.S. Theory of Numberings.Open Problems, P.A.Cholak (ed), Computability theory and applications. Current trends and open problems // Contemporary Mathematics. – 2000. - Vol. 257. - P. 23 – 38.
[5] Ершов Ю.Л. Об одной иерархии множеств I // Алгебра и логика. – 1968. - Т. 7, № 1. - С. 65–71.
[6] Putnam H. Trial and error predicates and the solutiuon to a problem of Mostovski // J. Symb. Logic. – 1965. - Vol. 30. - P. 49 – 57.
[7] Гончаров С.С., Сорби А. Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса // Алгебра и логика. – 1997. - Т. 36, № 6. - С. 621 – 641.
[8] Таласбаева Ж.Т. О вычислимости семейств множеств иерархии Ершова // Вестник КазНУ, серия математика, механика, информатика. – 2005. - № 4 (47). - С. 3-8.
[2] Соар Р.И. Вычислимо перечислимые множества и степени. – Казань: Казанское математическое общество, 2000.
[3] Ершов Ю.Л. Теория нумераций. – М.: Наука, 1977. - 416 с.
[4] Badaev S.A., Goncharov S.S. Theory of Numberings.Open Problems, P.A.Cholak (ed), Computability theory and applications. Current trends and open problems // Contemporary Mathematics. – 2000. - Vol. 257. - P. 23 – 38.
[5] Ершов Ю.Л. Об одной иерархии множеств I // Алгебра и логика. – 1968. - Т. 7, № 1. - С. 65–71.
[6] Putnam H. Trial and error predicates and the solutiuon to a problem of Mostovski // J. Symb. Logic. – 1965. - Vol. 30. - P. 49 – 57.
[7] Гончаров С.С., Сорби А. Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса // Алгебра и логика. – 1997. - Т. 36, № 6. - С. 621 – 641.
[8] Таласбаева Ж.Т. О вычислимости семейств множеств иерархии Ершова // Вестник КазНУ, серия математика, механика, информатика. – 2005. - № 4 (47). - С. 3-8.
Жүктелулер
Как цитировать
Talasbaeva Z, Z. T. (2012). О главных нумерациях класса Σ−1n1. Σ −1 n классының бас нөмр- леурi туралы. Қазұу Хабаршысы. Математика, механика, информатика сериясы, 73(2), 44–47. вилучено із https://bm.kaznu.kz/index.php/kaznu/article/view/136
Шығарылым
Бөлім
Математика
