On higher effective descriptive set theory
type: Item
instance of: scholarly article
title: On higher effective descriptive set theory
zbMATH Open document ID: 1496.03188
DOI: 10.1007/978-3-319-58741-7_27
author: M. V. Korovina
author: Oleg Kudinov
publication date: 2017-08-04T00:00:00Z
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 6756769
zbMATH Keywords: higher effective descriptive set theory
zbMATH Keywords: effective topological space
zbMATH Keywords: effective \(T_0\)-space admitting Borel point recovering
zbMATH Keywords: \((\alpha,m)\)-retractive morphism
zbMATH Keywords: effective Borel and Lusin hierarchies
zbMATH Keywords: Suslin-Kleene theorem
zbMATH Keywords: uniformisation theorem
MaRDI profile type: Publication
full work available at URL: 978-3-319-58741-7 27
OpenAlex ID: W2613951795
cites work: Normal numbers and the Borel hierarchy
cites work: Quasi-Polish spaces
cites work: Q3525843
cites work: Q4323294
cites work: On images of partial computable functions over computable Polish spaces
cites work: Index Sets as a Measure of Continuous Constraint Complexity
cites work: Towards Computability over Effectively Enumerable Topological Spaces
cites work: New Computational Paradigms
cites work: Q4165369
cites work: Q3464659
cites work: Q5322161
cites work: Q5573961
cites work: Q3819052
cites work: On effective topological spaces
cites work: Towards a descriptive set theory for domain-like structures
cites work: Towards the Effective Descriptive Set Theory
cites work: Q4485693
description: scientific article; zbMATH DE number 6756769