Truth tabular degrees of recursively enumerable sets
Matematičeskie zametki, Tome 14 (1973) no. 5, pp. 697-702
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
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.