We study structures of degrees of stronger algorithmic reducibilities inside the degrees of weaker algorithmic ones. Results in this area are reviewed for algorithmic reducibilities m-, 1-, tt-, wtt-, T-, e-, s-, Q-, and we formulate questions that are still not settled for these. A computably enumerable Q-degree which consists of one computably enumerable m-degree is constructed.
Similar content being viewed by others
References
R. G. Downey and S. Lempp, “Contiguity and distributivity in the enumerable Turing degrees,” J. Symb. Log., 62, No. 4, 1215-1240 (1997).
R. Sh. Omanadze and I. O. Chitaia, “Q 1-degrees of c.e. sets,” Arch. Math. Log., 51, Nos. 5/6, 503-515 (2012).
R. I. Soare, Recursively Enumerable Sets and Degrees, Persp. Math. Log., Omega Ser., Springer, Berlin (1987).
P. G. Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers, Stud. Log. Found. Math., 125, North-Holland, Amsterdam (1992).
P. G. Odifreddi, Classical Recursion Theory, Vol. 2, Stud. Log. Found. Math., 143, Elsevier, Amsterdam (1999).
J. Myhill, “Creative sets,” Z. Math. Logik Grundlagen Math., 1, 97-108 (1955).
Yu. L. Ershov, “Positive equivalences,” Algebra and Logic, 10, No. 6, 378-394 (1971).
G. N. Kobzev, “r-Separated sets,” in Studies in Mathematical Logic and the Theory of Algorithms [in Russian], Tbilisi (1975), pp. 19-30.
R. Downey, “On irreducible m-degrees,” Rend. Semin. Mat., Torino, 51, No. 2, 109-112 (1993).
P. R. Young, “Linear orderings under one-one reducibility,” J. Symb. Log., 31, 70-85 (1966).
C. G. Jockusch, Jun., “Relationships between reducibilities,” Trans. Am. Math. Soc., 142, 229-237 (1969).
R. G. Downey, “Recursively enumerable m- and tt-degrees. I: The quantity of m-degrees,” J. Symb. Log., 54, No. 2, 533-567 (1989).
A. N. Degtev, “tt- and m-degrees,” Algebra and Logic, 12, No. 2, 78-89 (1973).
P. Cholak and R. G. Downey, “Recursively enumerable m- and tt-degrees. III: Realizing all finite distributive lattices,” J. London Math. Soc., II. Ser., 50, No. 3, 440-453 (1994).
A. H. Lachlan, “wtt-Complete sets are not necessarily tt-complete,” Proc. Am. Math. Soc., 48, No. 2, 429-434 (1975).
P. F. Cohen, “Weak truth-table reducibility and the pointwise ordering of 1-1 recursive functions,” Ph.D. Thesis, Univ. Illinois, Urbana (1975).
G. N. Kobzev, “Relationships between recursively enumerable tt- and w-degrees, Soobshch. Akad. Nauk. Gruz. SSR, 84, No. 3, 585/586 (1976).
R. E. Ladner, “A completely mitotic nonrecursive r.e. degree,” Trans. Am. Math. Soc., 184, 479-507 (1973).
R. G. Downey, “\( {\varDelta}_2^0 \) degrees and transfer theorems,” Ill J. Math., 31, 419-427 (1987).
R. E. Ladner and L. P. Sasso, “The weak truth table degrees of recursively enumerable sets,” Ann. Math. Log., 8, 429-448 (1975).
S. D. Zakharov, “e- and s-degrees,” Algebra and Logic, 23, No. 4, 273-281 (1984).
S. D. Zakharov, “Degrees of denumerability reducibilities,” Algebra and Logic, 25, No. 2, 75-85 (1986).
S. D. Zakharov, “About the inside structure of e-degrees,” in Proc. 9th All-Union Conf. Math. Log., Nauka, Leningrad (1988), p. 61.
S. S. Marchenkov, “One class of incomplete sets,” Mat. Zametki, 20, No. 4, 473-478 (1976).
O. V. Belegradek, “Algebraically closed groups,” Algebra and Logic, 13, No. 3, 135-143 (1974).
O. V. Belegradek, “Higman’s embedding theorem in a general setting and its application to existentially closed algebras,” Notre Dame J. Formal Log., 37, No. 4, 613-624 (1996).
M. Kummer, “Kolmogorov complexity and instance complexity of recursively enumerable sets,” SIAM J. Comput., 25, No. 6, 1123-1143 (1996).
I. I. Batyrshin, “Quasi-completeness and functions without fixed-points,” Math. Log. Q., 52, No. 6, 595-601 (2006).
R. Downey, G. LaForte, and A. Nies, “Computably enumerable sets and quasi-reducibility,” Ann. Pure Appl. Log., 95, Nos. 1-3, 1-35 (1998); addendum ibid., 98, Nos. 1-3, 295 (1999).
R. Sh. Omanadze, “Quasi-degrees of recursively enumerable sets,” in Computability and Models. Perspectives East and West (Univ. Ser. Math.), S. B. Cooper and S. S. Goncharov (Eds.), Kluwer Academic/Plenum Publishers, New York (2003), pp. 289-319.
M. M. Arslanov and R. Sh. Omanadze, “Q-degrees of n-c.e. sets,” Ill J. Math., 51, No. 4, 1189-1206 (2007).
M. M. Arslanov, I. I. Batyrshin, and R. Sh. Omanadze, “Structural properties of Q-degrees of n-c.e. sets,” Ann. Pure Appl. Log., 156, No. 1, 13-20 (2008).
I. I. Batyrshin, “Isolated 2-computably enumerable Q-degrees,” Izv. Vyssh. Uch. Zav., Mat., No. 4, 3-9 (2010).
I. I. Batyrshin, “Non-isolated quasi-degrees,” Math. Log. Q., 55, No. 6, 587-597 (2009).
M. L. Affatato, T. F. Kent, and A. Sorbi, “Undecidability of local structures of s-degrees and Q-degrees,” Tbil. Math. J., 1, 15-32 (2008).
D. Marsibilio and A. Sorbi, “Singleton enumeration reducibility and arithmetic,” J. Logic Comput., 23, No. 6, 1267-1292 (2013).
R. Sh. Omanadze, “Relations between certain reducibilities,” Algebra and Logic, 33, No. 6, 381-385 (1994).
I. I. Batyrshin, “Q-reducibility and m-reducibility on computably enumerable sets,” Sib. Math. J., 55, No. 6, 995-1008 (2014).
R. Sh. Omanadze, “Complexity properties of recursively enumerable sets and bsQ-completeness,” Mat. Zametki, 68, No. 4, 554-559 (2000).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 56, No. 3, pp. 275-299, May-June, 2017.
Rights and permissions
About this article
Cite this article
Batyrshin, I.I. Irreducible, Singular, and Contiguous Degrees. Algebra Logic 56, 181–196 (2017). https://doi.org/10.1007/s10469-017-9439-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-017-9439-4