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.
|
|
|