Definable filters in the structure of bounded turing reductions

Angsheng Li; Weilin Li; Yicheng Pan; Linqing Tang

doi:10.1007/978-3-540-79228-4_10

Definable filters in the structure of bounded turing reductions

Angsheng Li^*
, Weilin Li
, Yicheng Pan
, Linqing Tang

^*此作品的通讯作者

Chinese Academy of Sciences
University of Chinese Academy of Sciences

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

摘要

In this article, we show that there exist c.e. bounded Turing degrees , such that 0<a <0' , and that for any c.e. bounded Turing degree , if and only if . The result gives an unexpected definability theorem in the structure of bounded Turing reducibilities.

源语言	英语
主期刊名	Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings
出版商	Springer Verlag
页	116-124
页数	9
ISBN（印刷版）	3540792279, 9783540792277
DOI	https://doi.org/10.1007/978-3-540-79228-4_10
出版状态	已出版 - 2008
已对外发布	是
活动	5th International Conference on Theory and Applications of Models of Computation, TAMC 2008 - Xian, 中国期限: 25 4月 2008 → 29 4月 2008

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	4978 LNCS
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	5th International Conference on Theory and Applications of Models of Computation, TAMC 2008
国家/地区	中国
市	Xian
时期	25/04/08 → 29/04/08

访问文件

10.1007/978-3-540-79228-4_10

其它文件与链接

链接到 Scopus 的出版物

引用此

Li, A., Li, W., Pan, Y., & Tang, L. (2008). Definable filters in the structure of bounded turing reductions. 在 Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings (页码 116-124). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4978 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-79228-4_10

Li, Angsheng ; Li, Weilin ; Pan, Yicheng 等. / Definable filters in the structure of bounded turing reductions. Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings. Springer Verlag, 2008. 页码 116-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{aaf1d46a3c9442bc981763d3d35fdd53,

title = "Definable filters in the structure of bounded turing reductions",

abstract = "In this article, we show that there exist c.e. bounded Turing degrees , such that 0",

author = "Angsheng Li and Weilin Li and Yicheng Pan and Linqing Tang",

year = "2008",

doi = "10.1007/978-3-540-79228-4\_10",

language = "英语",

isbn = "3540792279",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "116--124",

booktitle = "Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings",

address = "德国",

note = "5th International Conference on Theory and Applications of Models of Computation, TAMC 2008 ; Conference date: 25-04-2008 Through 29-04-2008",

}

Li, A, Li, W, Pan, Y & Tang, L 2008, Definable filters in the structure of bounded turing reductions. 在 Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 4978 LNCS, Springer Verlag, 页码 116-124, 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, Xian, 中国, 25/04/08. https://doi.org/10.1007/978-3-540-79228-4_10

Definable filters in the structure of bounded turing reductions. / Li, Angsheng; Li, Weilin; Pan, Yicheng 等.
Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings. Springer Verlag, 2008. 页码 116-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4978 LNCS).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Definable filters in the structure of bounded turing reductions

AU - Li, Angsheng

AU - Li, Weilin

AU - Pan, Yicheng

AU - Tang, Linqing

PY - 2008

Y1 - 2008

N2 - In this article, we show that there exist c.e. bounded Turing degrees , such that 0

AB - In this article, we show that there exist c.e. bounded Turing degrees , such that 0

UR - https://www.scopus.com/pages/publications/70349316410

U2 - 10.1007/978-3-540-79228-4_10

DO - 10.1007/978-3-540-79228-4_10

M3 - 会议稿件

AN - SCOPUS:70349316410

SN - 3540792279

SN - 9783540792277

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 116

EP - 124

BT - Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings

PB - Springer Verlag

T2 - 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008

Y2 - 25 April 2008 through 29 April 2008

ER -

Li A, Li W, Pan Y, Tang L. Definable filters in the structure of bounded turing reductions. 在 Theory and Applications of Models of Computation - 5th International Conference, TAMC 2008, Proceedings. Springer Verlag. 2008. 页码 116-124. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-79228-4_10

Definable filters in the structure of bounded turing reductions

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此