|
This article is cited in 2 scientific papers (total in 2 papers)
Brief communications
Isolation from side in $2$-computably enumerable degrees
M. M. Yamaleev Kazan Federal University, 18 Kremlyovskaya str., Kazan, 420008 Russia
Abstract:
In this work we consider isolation from side in different degree structures, in particular, in the $2$-computably enumerable $wtt$-degrees and in low Turing degrees. Intuitively, a $2$-computably enumerable degree is isolated from side if all computably enumerable degrees from its lower cone are bounded from above by some computably enumerable degree which is incomparable with the given one. It is proved that any properly $2$-computably enumerable $wtt$-degree is isolated from side by some computable enumerable $wtt$-degree. Also it is shown that the same result holds for the low $2$-computable enumerable Turing degrees.
Keywords:
$2$-computably enumerable set, $wtt$-degree, Turing degree, isolation from side.
Received: 26.03.2020 Revised: 26.03.2020 Accepted: 29.06.2020
Citation:
M. M. Yamaleev, “Isolation from side in $2$-computably enumerable degrees”, Izv. Vyssh. Uchebn. Zaved. Mat., 2020, no. 8, 81–86; Russian Math. (Iz. VUZ), 64:8 (2020), 70–73
Linking options:
https://www.mathnet.ru/eng/ivm9606 https://www.mathnet.ru/eng/ivm/y2020/i8/p81
|
|