| c.e.的Wtt-度中的下确界(英文) |
| |
| 引用本文： | 陆宏.c.e.的Wtt-度中的下确界(英文)[J].逻辑学研究,2010(2):4-18. |
| |
| 作者姓名： | 陆宏 |
| |
| 作者单位： | 南京大学数学系 |
| |
| 摘 要： | 本文研究了Wtt-度区间的下确界的的存在性问题。我们先证明了Wtt-度中区间对无下确界的向上稠密性。接着我们证明了存在c.e.度a,b(ba)使得对于X∈0,b],X与A形成Wtt-度中的极小度。
|
| 关 键 词： | 下确界 存在性问题 区间 证明 |
Infimum in c.e. Weak Truth Table Degrees |
| |
| Hong Lu.Infimum in c.e. Weak Truth Table Degrees[J].Studies in Logic,2010(2):4-18. |
| |
| Authors: | Hong Lu |
| |
| Institution: | Hong Lu( Department of Mathematics, Nanjing University) |
| |
| Abstract: | The paper concerns with the existence problem of infimum of intervals in the c.e. Wtt-degrees. We prove upward density of pairs of intervals without infimum in the c.e.Wttdegrees. And we also prove that there are c.e. degrees a, b with b 〈 a such that for any nonrecursive c.e. set X E 0, b], X and A form a minimal pair in the Wtt-degrees. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
