Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-26T08:35:30.986Z Has data issue: false hasContentIssue false

Splitting and non-splitting in the difference hierarchy

Published online by Cambridge University Press:  20 June 2016

MARAT ARSLANOV*
Affiliation:
Department of Mathematics, Kazan Federal University, Kazan, Russia Email: Marat.Arslanov@kpfu.ru

Abstract

In this paper, we investigate splitting and non-splitting properties in the Ershov difference hierarchy, in which area major contributions have been made by Barry Cooper with his students and colleagues. In the first part of the paper, we give a brief survey of his research in this area and discuss a number of related open questions. In the second part of the paper, we consider a splitting of 0′ with some additional properties.

Type
Paper
Copyright
Copyright © Cambridge University Press 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Arslanov, M.M. (1985). Structural properties of the degrees below 0. Soviet Mathematics - Doklady N.S. 283 270273.Google Scholar
Arslanov, M.M. (1988). On the upper semilattice of Turing degrees below 0. Russian Mathematics (Iz. VUZ) 7 2733.Google Scholar
Arslanov, M.M., Cooper, S.B. and Li, A. (2000). There is no low maximal d.c.e. degree. Mathematical Logic Quarterly 46 409416.3.0.CO;2-P>CrossRefGoogle Scholar
Arslanov, M.M., Cooper, S.B. and Li, A. (2004). There is no low maximal d.c.e. degree - Corrigendum. Mathematical Logic Quarterly 50, 628636.Google Scholar
Arslanov, M.M., Kalimullin, I.Sh. and Lempp, S. (2010). On Downey's conjecture. Journal of Symbolic Logic 75 401441.CrossRefGoogle Scholar
Arslanov, M.M., Lempp, L. and Shore, R.A. (1996). On isolating r.e. and isolated d-r.e. degrees. In: London Math. Soc. Lect. Note Series 224 Cambridge University Press 6180.Google Scholar
Cooper, S.B. (1971). Degrees of Unsolvability, Ph. D. Thesis, Leicester University, Leicester, England.Google Scholar
Cooper, S.B. (1990). The jump is definable in the structure of the degrees of unsolvability. Bulletin of the American Mathematical Society 23 151158.Google Scholar
Cooper, S.B. (1991). The density of the Low2 n-r.e. degrees. Archive for Mathematical Logic 31 1924.CrossRefGoogle Scholar
Cooper, S.B. (1992) A splitting theorem for the n-r.e. degrees. Proceedings of the American Mathematical Society 115 461471.Google Scholar
Cooper, S.B., Harrington, L., Lachlan, A.H., Lempp, S. and Soare, R.I. (1991). The d-r.e. degrees are not dense. Annals of Pure and Applied Logic 55 125151.CrossRefGoogle Scholar
Cooper, S.B. and Li, A. (2000a). Non-uniformity and generalised Sacks splitting. Acta Mathematica Sinica, English Series 18 327334.Google Scholar
Cooper, S.B. and Li, A. (2002b). Splitting and cone avoidance in the d.c.e. degrees, Science in China (Series A) 45 11351146.Google Scholar
Cooper, S.B. and Li, A. (2002c). Turing definability in the Ershov hierarchy. Journal London Mathematical Society 66 513528.Google Scholar
Downey, R.G. (1989). D.r.e. degrees and the Nondiamond theorem. Bulletin of the London Mathematical Society 21 4350.CrossRefGoogle Scholar
Downey, R.A., Laforte, G.A. and Shore, R.I. (2003). Decomposition and infima in the computably enumerable degrees. Journal of Symbolic Logic 68 551579.Google Scholar
Ershov, Y.L. (1968a). On a hierarchy of sets I. Algebra i Logika 7 (1) 4773.Google Scholar
Ershov, Y.L. (1968b). On a hierarchy of sets II. Algebra i Logika 7 (4) 1547.Google Scholar
Ershov, Y.L. (1970). On a hierarchy of sets III. Algebra i Logika 9 (1) 3451.Google Scholar
Faizrakhmanov, M.Kh. (2010). Decomposability of low 2-computably enumerable degrees and Turing jumps in the Ershov hierarchy. Russian Mathematics (Iz. VUZ) 12 5158 CrossRefGoogle Scholar
Gold, E.M. (1965). Limiting recursion. Journal of Symbolic Logic 30 2848.Google Scholar
Miller, D. (1981). High recursively enumerable degrees and the anticupping property. In: Logic Year 1979–80, University of Connecticut 230–245.Google Scholar
Putnam, H. (1965). Trial and error predicates and the solution to a problem of Mostowski. Journal of Symbolic Logic 30 4957.Google Scholar
Shore, R.A. (2000) Natural definability in degree structures. In: Cholak, P., Lempp, S., Lerman, M. and Shore, R. A. (eds.) Computability Theory and Its Applications: Current Trends and Open Problems. Contemporary Mathematics, AMS, Providence RI, 255272.Google Scholar
Shore, R.A. and Slaman, T. A. (1999) Defining the Turing jump. Mathematical Research Letters 6 711722.Google Scholar
Shore, R.A. and Slaman, T.A. (2001) Working below a low2 recursively enumerable degrees, Archive for Mathematical Logic 29 201211.CrossRefGoogle Scholar
Welch, L. (1981) A Hierarchy of Families of Recursively Enumerable Degrees and a Theorem on Bounding Minimal Pairs, Ph. D. Thesis, University of Illinois, Urbana, 1981.Google Scholar