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.
Fulltext:
PDF file (1035 kB)
