加杯图灵度的一个层谱
文献类型：学位论文
| 作者 | 王勇 |
| 学位类别 | 博士 |
| 答辩日期 | 2003 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 图灵度 计算可枚举度 可杯 加杯 |
| 学位专业 | 基础数学 |
| 中文摘要 | 本文研究计算可枚举图灵度的结构，提出并完成了一个加杯层谱的证明。计算可枚举度（computably，enumerable，c．e．degree）a被称作加杯的（plus cupping），若对任何c.e.度x，o＜x三a，存在ce．度v≠0'，满足x v y＝0'。我们称一个c.e.度是仆加杯的（n-pls-cupping），如果对每个c．e．度x，0＜x≤a，存在lownc.e度1，有xVI＝0'。定义Pc和Pcn分别为所有的加杯和n-加杯c.e．度的集合。我们有PC1 lis contained in PC2 lis contained in PC3＝PC。在这篇文章中，我们证明了PCI c PCZ，从而给出了加杯计算可枚举图灵度的一个非平凡层谱。该定理扩充了李昂生、吴国华、张再跃2000年提出的一个层谱：LC1 C LC2 9 LC3＝CUP，同时也扩充了Harrington1978年的加杯定理（Plus Cupping Theorem）。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 32 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6908]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 王勇. 加杯图灵度的一个层谱[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2003. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。