definable filters in the structure of bounded turing reductions

	definable filters in the structure of bounded turing reductions
	Li Angsheng; Li Weilin; Paul Yicheng; Tang Linqing
	2008
会议名称	5th International Conference on Theory and Applications of Models of Computation
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	116-124
会议日期	APR 25-29,
会议地点	Xian, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS
ISSN	0302-9743
ISBN	978-3-540-79227-7
部门归属	Li, Angsheng; Li, Weilin; Paul, Yicheng; Tang, Linqing Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
摘要	In this article, we show that there exist c.e. bounded Turing degrees a, b such that 0 < a < 0 and that for any c.e. bounded Turing degree x, b V x = 0 if and only if x >= a. The result gives an unexpected definability theorem in the structure
主办者	Xidian Univ, Inst Comp Theory & Technol
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10628
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Li Angsheng,Li Weilin,Paul Yicheng,et al. definable filters in the structure of bounded turing reductions[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS,2008:116-124.