|
|||||
|
|
| 递归集的k-1-度上半格的不可补性与不可分配性 | |
| 引用本文： | 黄文奇,陈志祥.递归集的k-1-度上半格的不可补性与不可分配性[J].数学学报,1989,32(4):517-524. |
| 作者姓名： | 黄文奇 陈志祥 |
| 作者单位： | 华中理工大学计算机系 (黄文奇)，华中理工大学计算机系(陈志祥) |
| 摘 要： | 我们在11]中证明了多项式时间强图灵归约≤_(sn)T 与多项式时间多一归≤_(pm)有表现在完全集上的本质差别,在本文中我们证明了递归集的≤_(sn)T-归约约度上半格〈(?)_k~1;≤〉不可分配,籍此得〈(?)_k~1;≤〉与〈(?)_m~p;≤〉不同构.这表明此二种归约有表现在其度结构上的差别.此外,使用对角线技术我们还证明了〈(?)_k~1;≤〉的某些初始片段不可补. |
| 关 键 词： | 递归集 k－1－度 上半格 不可分配 |
| 收稿时间： | 1988-4-20 |
| 修稿时间： | 1988-10-30 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《数学学报》浏览原始摘要信息 | |
| 点击此处可从《数学学报》下载免费的PDF全文 | |