On principal numberings of Σ −1 n .
Keywords:
иерархия Ершова, перечислимые множества, нумерации.Abstract
In article considered some families of constructive objects from Ershov hierarchies, which have principal numberings.References
[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.
Downloads
Issue
Section
Mathematics
