|
This article is cited in 1 scientific paper (total in 1 paper)
Brief communications
Nonuniformity of downwards density in the $n$-computably enumerable Turing degrees
A. I. Talipova, M. M. Yamaleev Kazan Federal University, 18 Kremlyovskaya str., Kazan, 420008 Russia
Abstract:
In 1993 R. Downey and M. Stob showed that downwards density of computably enumerable (further, c.e.) Turing degrees in the partial order of $2$-c.e. Turing degrees cannot be proved by a uniform construction. In this paper their result is generalized for any $n > 2$ and it is shown that there is no a uniform consruction for the downwards denstiy of $(n-1)$-c.e. degrees in the structure of $n$-c.e. degrees. Moreover, it is shown that there is no a uniform construction for the downwards denstiy in the structure of $n$-c.e. degrees.
Keywords:
Turing degree, uniform construction, the Ershov hierarchy, downwards density.
Received: 27.09.2022 Revised: 27.09.2022 Accepted: 28.09.2022
Citation:
A. I. Talipova, M. M. Yamaleev, “Nonuniformity of downwards density in the $n$-computably enumerable Turing degrees”, Izv. Vyssh. Uchebn. Zaved. Mat., 2022, no. 11, 124–131; Russian Math. (Iz. VUZ), 66:11 (2022), 110–115
Linking options:
https://www.mathnet.ru/eng/ivm9832 https://www.mathnet.ru/eng/ivm/y2022/i11/p124
|
|