|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2010, Number 7, Pages 73–85
(Mi ivm7110)
|
|
|
|
This article is cited in 12 scientific papers (total in 12 papers)
Presentations of the successor relation of computably linear ordering
A. N. Frolov Department of Algebra and Mathematical Logic, Kazan State University, Kazan, Russia
Abstract:
We prove that a nontrivial degree spectrum of the successor relation of either strongly $\eta$-like or non-$\eta$-like computable linear orderings is closed upward in the class of all computably enumerable degrees. We also show that the degree spectrum contains $\mathbf0$ if and only if either it is trivial or it contains all computably enumerable degrees.
Keywords:
linear orderings, successor relation, Turing degree spectra, computable presentations.
Received: 09.09.2008
Citation:
A. N. Frolov, “Presentations of the successor relation of computably linear ordering”, Izv. Vyssh. Uchebn. Zaved. Mat., 2010, no. 7, 73–85; Russian Math. (Iz. VUZ), 54:7 (2010), 64–74
Linking options:
https://www.mathnet.ru/eng/ivm7110 https://www.mathnet.ru/eng/ivm/y2010/i7/p73
|
|