中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Mathematics ; Science & Technology - Other Topics
Title:
almost universal cupping and diamond embeddings
Author: Liu Jiang ; Wu Guohua
Keyword: Turing degrees ; Ershov hierarchy ; Diamond embeddings ; Almost universal cupping property
Source: ANNALS OF PURE AND APPLIED LOGIC
Issued Date: 2012
Volume: 163, Issue:6, Pages:717-729
Indexed Type: SCI
Department: Wu Guohua Nanyang Technol Univ Div Math Sci Sch Phys & Math Sci Singapore 637371 Singapore. Liu Jiang Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100190 Peoples R China.
Sponsorship: AcRF RG37/09, M52110101; MOE of Singapore ARC17/11, M45110030; NSFC-90718041; NSFC-60736017; NSFC-60970031; YIGH-405070
Abstract: In this paper, we study the cupping property in the d.r.e. degrees, and prove the existence of a d.r.e. degrees d with almost universal cupping property and nonzero r.e. degrees b < d and a such that b isolates d in the d.r.e. degrees, and b and a form a minimal pair. As a corollary, we have that for any nonzero r.e. degree c <= a and incomplete d.r.e. degree e >= d, 0, c, e and 0' form a diamond embedding in the d.r.e. degrees. (c) 2011 Elsevier B.V. All rights reserved.
English Abstract: In this paper, we study the cupping property in the d.r.e. degrees, and prove the existence of a d.r.e. degrees d with almost universal cupping property and nonzero r.e. degrees b < d and a such that b isolates d in the d.r.e. degrees, and b and a form a minimal pair. As a corollary, we have that for any nonzero r.e. degree c <= a and incomplete d.r.e. degree e >= d, 0, c, e and 0' form a diamond embedding in the d.r.e. degrees. (c) 2011 Elsevier B.V. All rights reserved.
Language: 英语
WOS ID: WOS:000301611300008
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15078
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Liu Jiang,Wu Guohua. almost universal cupping and diamond embeddings[J]. ANNALS OF PURE AND APPLIED LOGIC,2012-01-01,163(6):717-729.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Liu Jiang]'s Articles
[Wu Guohua]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Liu Jiang]‘s Articles
[Wu Guohua]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace