No CrossRef data available.
Article contents
Splitting and non-splitting in the difference hierarchy
Published online by Cambridge University Press: 20 June 2016
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
- Information
- Mathematical Structures in Computer Science , Volume 28 , Special Issue 3: Mind, Mechanism and Mathematics: Computability Unchained , March 2018 , pp. 384 - 391
- Copyright
- Copyright © Cambridge University Press 2016
References
Arslanov, M.M. (1985). Structural properties of the degrees below 0′. Soviet Mathematics - Doklady N.S.
283
270–273.Google Scholar
Arslanov, M.M. (1988). On the upper semilattice of Turing degrees below 0′. Russian Mathematics (Iz. VUZ)
7
27–33.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
409–416.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, 628–636.Google Scholar
Arslanov, M.M., Kalimullin, I.Sh. and Lempp, S. (2010). On Downey's conjecture. Journal of Symbolic Logic
75
401–441.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
61–80.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
151–158.Google Scholar
Cooper, S.B. (1991). The density of the Low2 n-r.e. degrees. Archive for Mathematical Logic
31
19–24.CrossRefGoogle Scholar
Cooper, S.B. (1992) A splitting theorem for the n-r.e. degrees.
Proceedings of the American Mathematical Society
115
461–471.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
125–151.CrossRefGoogle Scholar
Cooper, S.B. and Li, A. (2000a). Non-uniformity and generalised Sacks splitting. Acta Mathematica Sinica, English Series
18
327–334.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
1135–1146.Google Scholar
Cooper, S.B. and Li, A. (2002c). Turing definability in the Ershov hierarchy. Journal London Mathematical Society
66
513–528.Google Scholar
Downey, R.G. (1989). D.r.e. degrees and the Nondiamond theorem. Bulletin of the London Mathematical Society
21
43–50.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
551–579.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
51–58
CrossRefGoogle 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
49–57.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, 255–272.Google Scholar
Shore, R.A. and Slaman, T. A. (1999) Defining the Turing jump.
Mathematical Research Letters
6
711–722.Google Scholar
Shore, R.A. and Slaman, T.A. (2001) Working below a low2 recursively enumerable degrees, Archive for Mathematical Logic
29
201–211.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