almost universal cupping and diamond embeddings

ISCAS OpenIR

	almost universal cupping and diamond embeddings
	Liu Jiang; Wu Guohua
	2012
发表期刊	ANNALS OF PURE AND APPLIED LOGIC
ISSN	0168-0072
卷号	163 期号:6 页码:717-729
摘要	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.; 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.
收录类别	SCI
关键词	Turing Degrees Ershov Hierarchy Diamond Embeddings Almost Universal Cupping Property
部门归属	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.
学科领域	Mathematics ; Science & Technology - Other Topics
资助者	AcRF RG37/09, M52110101; MOE of Singapore ARC17/11, M45110030; NSFC-90718041; NSFC-60736017; NSFC-60970031; YIGH-405070
语种	英语
WOS记录号	WOS:000301611300008
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15078
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Liu Jiang,Wu Guohua. almost universal cupping and diamond embeddings[J]. ANNALS OF PURE AND APPLIED LOGIC,2012,163(6):717-729.
APA	Liu Jiang,&Wu Guohua.(2012).almost universal cupping and diamond embeddings.ANNALS OF PURE AND APPLIED LOGIC,163(6),717-729.
MLA	Liu Jiang,et al."almost universal cupping and diamond embeddings".ANNALS OF PURE AND APPLIED LOGIC 163.6(2012):717-729.