Institutional Repository
| principal filters definable by parameters in e-bt | |
| Li Angsheng; Li Weilin; Pani Yicheng; Tang Linqing | |
| 2009 | |
| Conference Name | 4th International Conference on Theory and Applications of Models of Computation |
| Conference Date | MAY 22-25, |
| Conference Place | Shanghai, PEOPLES R CHINA |
| Publish Place | 32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA |
| Publisher | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| ISSN | 0960-1295 |
| Department | Li, Angsheng Chinese Acad Sci, State Key Lab Comp Sci, Beijing 100080, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. |
| English Abstract | 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, we have b boolean OR x = 0 if and only if x >= a. The result gives an unexpected definability theorem in the structure of bounded Turing reducibility. |
| Sponsorship | Fudan Univ, Software Sch, Univ Leeds, Univ Wisconsin |
| WOS ID | WOS:000264418400011 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8196 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Li Angsheng,Li Weilin,Pani Yicheng,et al. principal filters definable by parameters in e-bt[C]. 32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,2009. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment