We consider isolation from side in the structure of 2-computably enumerable wtt-degrees. Intuitively, a 2-computably enumerable degree d is isolated from side if all computably enumerable degrees from its lower cone are bounded by some computably enumerable degree incomparable with d. We prove that any proper 2-computably enumerable wtt-degree is isolated from side by some computable enumerable wtt-degree. We show how this property can be combined with a cone avoidance.
Similar content being viewed by others
References
M. M. Yamaleev, “Isolation from side in 2-computably enumerable degrees,” Russian Math. 64, No. 8, 70–73 (2020).
G. E. Sacks, “The recursively enumerable degrees are dense,” Ann. Math. 80, No. 2, 300–312 (1964).
G. Wu, “Isolation and lattice embedding,” J. Symb. Log. 67, No. 3, 1055–1064 (2002).
D. Ding and L. Qian, “Isolated d.r.e. degrees are dense in r.e. degree structure,” Arch. Math. Logic 36, No. 1, 1–10 (1996).
G. LaForte, “The isolated d.r.e. degrees are dense in the r.e. degrees,” Math. Log. Q. 42, No. 1, 83–103 (1996).
M. M. Arslanov, S. Lempp, and R. A. Shore, “On isolating r.e. and isolated d-r.e. degrees,” In: Computability, Enumerability, Unsolvability. Directions in Recursion Theory, pp. 61–80, Cambridge University Press, Cambridge (1996).
B. Cooper and A. Li, “Turing definability in the Ershov hierarchy,” J. Lond. Math. Soc., II 66, No. 3, 513–528 (2002).
M. M. Arslanov, “Definability and elementary equivalence in the Ershov difference hierarchy,” Lect. Notes Log. 32, 1–17 (2009).
M. M. Arslanov and M. M. Yamaleev “On the problem of definability of the computably enumerable degrees in the difference hierarchy,” Lobachevskii J. Math. 39, No. 5, 634–638 (2018).
Y. Yang and L. Yu, “On Σ1-structural differences among Ershov hierarchies,” J. Symb. Log. 71, No. 4, 1223–1236 (2006).
M. Cai, R. A. Shore, and T. A. Slaman, “The n-r.e. degrees: undecidability and Σ1-substructures,” J. Math. Log. 12, No. 1, 1–30 (2012).
G. Wu and M. M. Yamaleev, “Isolation: Motivations and applications,” Uch. Zap. Kazan. Gos. Univ., Ser. Fiz.-Mat. Nauki 154, No. 2, 204–217 (2012).
G. Wu, “On the density of the pseudo-isolated degrees,” Proc. Lond. Math. Soc., III 88, No. 2, 273–288 (2004).
R. I. Soare, Recursively Enumerable Sets and Degrees, Springer, Berlin (1987).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yamaleev, M.M. Isolation from Side and Cone Avoidance in the 2-Computably Enumerable wtt-Degrees. J Math Sci 275, 54–65 (2023). https://doi.org/10.1007/s10958-023-06659-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-023-06659-9