Institutional Repository
| cupping and diamond embeddings: a unifying approach | |
| Fang Chengling; Liu Jiang; Wu Guohua | |
| 2011 | |
| Conference Name | 7th Conference on Computability in Europe, CiE 2011 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 71-80 |
| Conference Date | 27-Jun-02 |
| Conference Place | Sofia, Bulgaria |
| Indexed Type | EI |
| Publish Place | Germany |
| 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 |
| 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. |
| Keyword | c (Programming Language) Computability And Decidability |
| Sponsorship | National Science Foundation; Association for Symbolic Logic; European Mathematical Society; European Social Fund; Bulgarian National Science Fund |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14333 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Fang Chengling,Liu Jiang,Wu Guohua. cupping and diamond embeddings: a unifying approach[C]. Germany,2011:71-80. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| cupping and diamond （174KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment