Towards the Effective Descriptive Set Theory

被引：13
|
作者：
Selivanov, Victor [1 ]
机构：
[1] AP Ershov Inst Informat Syst SB RAS, Novosibirsk, Russia
来源：
EVOLVING COMPUTABILITY | 2015年 / 9136卷
关键词：
Weakly computable cb(0)-space; Computable Polish space; Computable omega-continuous domain; Effective hierarchy; Suslin-Kleene theorem; Effective Hausdorff theorem; HIERARCHY;
D O I：
10.1007/978-3-319-20028-6_33
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove effective versions of some classical results about measurable functions and derive from this extensions of the Suslin- Kleene theorem, and of the effective Hausdorff theorem for the computable Polish spaces (this was established in [2] with a different proof) and for the computable omega-continuous domains (this answers an open question from [2]).
引用
收藏
页码：324 / 333
页数：10
相关论文
共 50 条
12345