Relatively computably enumerable reals

被引:1
|
作者
Anderson, Bernard A. [1 ]
机构
[1] Univ Waterloo, Dept Pure Math, Waterloo, ON N2L 3G1, Canada
来源
ARCHIVE FOR MATHEMATICAL LOGIC | 2011年 / 50卷 / 3-4期
关键词
Relatively c.e; Relatively r.e; Relatively simple; Pi(0)(1) class;
D O I
10.1007/s00153-010-0219-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and class contains a member which is not relatively c.e. and that every 1-generic real is relatively simple and above.
引用
收藏
页码:361 / 365
页数:5
相关论文
共 50 条