On higher effective descriptive set theory Full article
| Journal |
Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2017, Volume: 10307, Pages: 282-291 Pages count : 10 DOI: 10.1007/978-3-319-58741-7_27 | ||||
| Tags | (α,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 | ||||
| Authors |
|
||||
| Affiliations |
|
Cite:
Korovina M.V.
, Kudinov O.V.
On higher effective descriptive set theory
Lecture Notes in Computer Science. 2017. V.10307. P.282-291. DOI: 10.1007/978-3-319-58741-7_27 Scopus OpenAlex
On higher effective descriptive set theory
Lecture Notes in Computer Science. 2017. V.10307. P.282-291. DOI: 10.1007/978-3-319-58741-7_27 Scopus OpenAlex
Dates:
| Submitted: | Jan 11, 2017 |
| Accepted: | May 12, 2017 |
| Published print: | May 12, 2017 |
| Published online: | May 12, 2017 |
Identifiers:
| Scopus: | 2-s2.0-85020939769 |
| OpenAlex: | W2613951795 |