| Title: | cupping and diamond embeddings: a unifying approach |
| Author: | Fang Chengling
; Liu Jiang
; Wu Guohua
|
| Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
| Conference Name: | 7th Conference on Computability in Europe, CiE 2011
|
| Conference Date: | 27-Jun-02
|
| Issued Date: | 2011
|
| Conference Place: | Sofia, Bulgaria
|
| Keyword: | C (programming language)
; Computability and decidability
|
| Publish Place: | Germany
|
| Indexed Type: | EI
|
| ISSN: | 3029743
|
| ISBN: | 9783642218743
|
| Department: | (1) Division of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University, 21 Nanyang Link, Singapore 637371, Singapore; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, China
|
| Sponsorship: | National Science Foundation; Association for Symbolic Logic; European Mathematical Society; European Social Fund; Bulgarian National Science Fund
|
| English Abstract: | In this paper, we prove that for any nonzero cappable degree c, there is a d.c.e. degree d and a c.e. degree b < d such that c cups d to 0′, caps b to 0 and for any c.e. degree w, either w &le b or w ∨ d = 0′. This result has several well-known theorems as direct corollaries, including Arslanov's cupping theorem, Downey's diamond theorem, Downey-Li-Wu's complementation theorem, and Li-Yi's cupping theorem, etc. © 2011 Springer-Verlag. |
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/14333
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| cupping and diamond embeddings a unifying approach.pdf（174KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Fang Chengling,Liu Jiang,Wu Guohua. cupping and diamond embeddings: a unifying approach[C]. 见:7th Conference on Computability in Europe, CiE 2011. Sofia, Bulgaria. 27-Jun-02.
|
|
|
