中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共12条,第1-10条 帮助

限定条件    
条数/页: 排序方式:
bounding computably enumerable degrees in the ershov hierarchy 期刊论文  OAI收割
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
  |  收藏  |  浏览/下载:6/0  |  提交时间:2011/07/13
bounding computably enumerable degrees in the ershov hierarchy 期刊论文  OAI收割
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
  |  收藏  |  浏览/下载:9/0  |  提交时间:2011/07/13
bounding computably enumerable degrees in the ershov hierarchy 期刊论文  OAI收割
ANNALS OF PURE AND APPLIED LOGIC, 2006, 卷号: 141, 期号: 1-2, 页码: 79-88
Li AS; Wu GH; Yang Y
  |  收藏  |  浏览/下载:8/0  |  提交时间:2011/07/13
bounding and nonbounding minimal pairs in the enumeration degrees 期刊论文  OAI收割
JOURNAL OF SYMBOLIC LOGIC, 2005, 卷号: 70, 期号: 3, 页码: 741-766
Cooper SB; Li AS; Sorbi A; Yang Y
  |  收藏  |  浏览/下载:8/0  |  提交时间:2011/07/28
a join theorem for the computably enumerable degrees 期刊论文  OAI收割
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2004, 卷号: 356, 期号: 7, 页码: 2557-2568
Jockusch CG; Li AS; Yang Y
  |  收藏  |  浏览/下载:8/0  |  提交时间:2011/07/29
there exists a maximal 3-c.e. enumeration degree 期刊论文  OAI收割
ISRAEL JOURNAL OF MATHEMATICS, 2003, 卷号: 137, 页码: 285-320
Cooper SB; Li AS; Sorbi A; Yang Y
  |  收藏  |  浏览/下载:7/0  |  提交时间:2011/07/29
on the distribution of lachlan nonsplitting bases 期刊论文  OAI收割
ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 卷号: 41, 期号: 5, 页码: 455-482
Cooper SB; Li AS; Yi XD
  |  收藏  |  浏览/下载:6/0  |  提交时间:2011/07/29
splitting and nonsplitting, ii: a low(2) c.e. degree above which 0 is not splittable 期刊论文  OAI收割
JOURNAL OF SYMBOLIC LOGIC, 2002, 卷号: 67, 期号: 4, 页码: 1391-1430
Cooper SB; Li AS
  |  收藏  |  浏览/下载:5/0  |  提交时间:2011/07/29
there is no low maximal d. c. e. degree 期刊论文  OAI收割
MATHEMATICAL LOGIC QUARTERLY, 2000, 卷号: 46, 期号: 3, 页码: 409-416
Arslanov M; Cooper SB; Li AS
  |  收藏  |  浏览/下载:11/0  |  提交时间:2011/07/29
on a conjecture of lempp 期刊论文  OAI收割
ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 卷号: 39, 期号: 4, 页码: 279-307
Li AS
  |  收藏  |  浏览/下载:8/0  |  提交时间:2011/07/29