О главных нумерациях класса Σ−1n1. Σ −1 n классының бас нөмр- леурi туралы.

Авторы

  • Zh T Talasbaeva Z Казахский Национальный Университет имени аль-Фараби

Ключевые слова:

иерархия Ершова, перечислимые множества, нумерации.

Аннотация

В статье рассмотрены некоторые семейства конструктивных объектов из иерархии Ершова, обладающие главными нумерациями. Мақалада бас нөмрлеур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.

Загрузки