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.
Similar content being viewed by others
Literature cited
C. Jockusch, “Relationships between reducibilities,” Trans. Amer. Math. Soc.,142, 229–247 (1969).
S. Kallibekov, “Index sets of m-degrees,” Sibirsk. Matem. Zh., No. 6, 2292–2300 (1971).
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Moscow (1965).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
S. D. Denisov, “m-degrees of r.e. sets,” Algebra i Logika,9, 422–427 (1970).
A. Lachlan, “A note on universal sets,” J. Symb. Logic,31, No. 4, 573–574 (1966).
S. Kallibekov, “Index sets of degrees of unsolvability,” Algebra i Logika,10, No. 3 (1971).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 697–702, November, 1973.
Rights and permissions
About this article
Cite this article
Kallibekov, S. Truth tabular degrees of recursively enumerable sets. Mathematical Notes of the Academy of Sciences of the USSR 14, 958–961 (1973). https://doi.org/10.1007/BF01462257
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01462257