|
|||||
|
|
Infimum Properties Differ in the WeakTruth-table Degrees and the Turing Degrees |
|
| Authors: | Liang Yu De Cheng Ding |
| Affiliation: | (1) Department of Mathematics, Nanjing University, Nanjing, 210093, P. R. China |
| Abstract: | Abstract We prove that there are non-recursive r.e. sets A and C with A < T C such that for every set  . Both authors are supported by “863” and the National Science Foundation of China |
| Keywords: | Minimal pair Weak truth table degree Turing degree Recursively enumerable set |
| 本文献已被 SpringerLink 等数据库收录！ | |