Abstract
Sacks [14] showed that every computably enumerable (c.e.) degree ≥ 0 has a c.e. splitting. Hence, relativising, every c.e. degree has a Δ 2 splitting above each proper predecessor (by ’splitting’ we understand ’nontrivial splitting’). Arslanov [1] showed that 0’ has a d.c.e. splitting above each c.e. a < 0’. On the other hand, Lachlan [9] proved the existence of a c.e. a > 0 which has no c.e. splitting above some proper c.e. predecessor, and Harrington [8] showed that one could take a = 0’. Splitting and nonsplitting techniques have had a number of consequences for definability and elementary equivalence in the degrees below 0’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arslanov, M.M.: Structural properties of the degrees below 0’. Dokl. Akad. Nauk. SSSR 283, 270–273 (1985)
Cooper, S.B.: On a theorem of C.E.M. Yates (handwritten notes) (1974)
Cooper, S.B.: The strong anti-cupping property for recursively enumerable degrees. J. Symbolic Logic 54, 527–539 (1989)
Cooper, S.B.: Enumeration reducibility, nondeterministic computations and relative computability of partial functions. In: Ambos-Spies, K., Müller, G.H., Sacks, G.E. (eds.) Recursion Theory Week, Proceedings, Oberwolfach, 1989. Lecture Notes in Mathematics, vol. 1432, pp. 57–110. Springer, Heidelberg (1990)
Cooper, S.B.: Computability Theory. Chapman & Hall/CRC Mathematics. Chapman & Hall/CRC, Boca Raton (2004)
Cooper, S.B., et al.: Bounding and nonbounding minimal pairs in the enumeration degrees. J. Symbolic Logic 70, 741–766 (2005)
Downey, R.G.: \(\Delta^0_2\) degrees and transfer theorems. Illinois J. Math. 31, 419–427 (1987)
Harrington, L.: Understanding Lachlan’s monster paper (handwritten notes) (1980)
Lachlan, A.H.: A recursively enumerable degree which will not split over all lesser ones. Ann. Math. Logic 9, 307–365 (1975)
Lachlan, A.H., Shore, R.A.: The n-rea enumeration degrees are dense. Arch. Math. Logic 31, 277–285 (1992)
Miller, D.: High recursively enumerable degrees and the anti-cupping property. In: Lerman, M., Schmerl, J.H., Soare, R.I. (eds.) Logic Year 1979–80: University of Connecticut. Lecture Notes in Mathematics, vol. 859, pp. 1979–1980. Springer, Heidelberg (1981)
Odifreddi, P.G.: Classical Recursion Theory, vol. II. Elsevier, Amsterdam (1999)
Posner, D.B., Robinson, R.W.: Degrees joining to 0’. J. Symbolic Logic 46, 714–722 (1981)
Sacks, G.E.: On the degrees less than 0’. Ann. of Math. 77(2), 211–231 (1963)
Slaman, T.A., Steel, J.R.: Complementation in the Turing degrees. J. Symbolic Logic 54, 160–176 (1989)
Soare, R.I.: Recursively enumerable sets and degrees. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soskova, M.I., Cooper, S.B. (2007). The Strongest Nonsplitting Theorem. In: Cai, JY., Cooper, S.B., Zhu, H. (eds) Theory and Applications of Models of Computation. TAMC 2007. Lecture Notes in Computer Science, vol 4484. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72504-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-72504-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72503-9
Online ISBN: 978-3-540-72504-6
eBook Packages: Computer ScienceComputer Science (R0)