Truth tabular degrees of recursively enumerable sets |
| |
Authors: | S. Kallibekov |
| |
Affiliation: | (1) Institute of Mathematics, Siberian Branch, Academy of Sciences of the USSR, USSR |
| |
Abstract: | ![]() The upper semilattice of truth tabular degrees of recursively enumerable (r.e.) sets is studied. It is shown that there exists an infinite set of pairwise tabularly incomparable truth tabular degrees higher than any tabularly incomplete r.e. truth tabular degree. A similar assertion holds also for r.e. m-degrees. Hence follows that a complete truth tabular degree contains an infinite antichain of r.e. m-degrees.Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 697–702, November, 1973. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|