the existence of high nonbounding degrees in the difference hierarchy
文献类型:会议论文
作者 | Chong CT ; Li A ; Yang Y |
出版日期 | 2006 |
会议名称 | NZIMA Logic and Computation Workshop |
会议日期 | JAN 11-16, |
会议地点 | Tahuna Beach, NEW ZEALAND |
关键词 | nonbounding jump classes Ershov hierarchy |
页码 | 31-51 |
英文摘要 | We study the jump hierarchy of d.c.e. Turing degrees and show that there exists a high d.c.e. degree d which does not bound any minimal pair of d.c.e. degrees. (c) 2005 Elsevier B.V. All rights reserved. |
收录类别 | SCI ; ISTP ; SCIENCEDIRECT |
会议主办者 | New Zealand Inst Math & Applicat |
会议录出版者 | ANNALS OF PURE AND APPLIED LOGIC |
会议录出版地 | PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS |
语种 | 英语 |
ISSN号 | 0168-0072 |
WOS记录号 | WOS:000234098000004 |
源URL | [http://124.16.136.157/handle/311060/12122] ![]() |
专题 | 软件研究所_软件所图书馆_会议论文 |
推荐引用方式 GB/T 7714 | Chong CT,Li A,Yang Y. the existence of high nonbounding degrees in the difference hierarchy[C]. 见:NZIMA Logic and Computation Workshop. Tahuna Beach, NEW ZEALAND. JAN 11-16,. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。