On higher effective descriptive set theory Научная публикация

Журнал	Lecture Notes in Computer Science ISSN: 0302-9743 , E-ISSN: 1611-3349
Вых. Данные	Год: 2017, Том: 10307, Страницы: 282-291 Страниц : 10 DOI: 10.1007/978-3-319-58741-7_27
Ключевые слова	(α,m)- retractive morphism; Effective Borel and Lusin hierarchies; Effective T0-space admitting Borel point recovering; Effective topological space; Higher effective descriptive set theory; Suslin-Kleene theorem; Uniformisation theorem
Авторы	Korovina M.V. 2 , Kudinov O.V. 1
Организации	1 Sobolev Institite of Mathematics, SbRAS 2 A.P. Ershov Institute of Informatic Systems, SbRAS