A splitting theorem for the $n$-r.e. degrees
HTML articles powered by AMS MathViewer
- by S. Barry Cooper PDF
- Proc. Amer. Math. Soc. 115 (1992), 461-471 Request permission
Abstract:
We prove a splitting theorem for the n-r.e. degrees, of which the Sacks Splitting Theorem [9] for the r.e. (= 1-r.e.) degrees is a special case. For background terminology and notation see [4] and [11].References
- M. M. Arslanov, Lattice properties of the degrees below ${\bf 0}’$, Dokl. Akad. Nauk SSSR 283 (1985), no. 2, 270–273 (Russian). MR 804113
- N. R. Buharaev, $\textrm {T}$-degrees of differences of recursively enumerable sets, Izv. Vyssh. Uchebn. Zaved. Mat. 5 (1981), 40–49 (Russian). MR 630482
- S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, and Robert I. Soare, The d.r.e. degrees are not dense, Ann. Pure Appl. Logic 55 (1991), no. 2, 125–151. MR 1141717, DOI 10.1016/0168-0072(91)90005-7
- S. Barry Cooper, Steffen Lempp, and Philip Watson, Weak density and cupping in the d-r.e. degrees, Israel J. Math. 67 (1989), no. 2, 137–152. MR 1026559, DOI 10.1007/BF02937291
- Rod Downey, D.r.e. degrees and the nondiamond theorem, Bull. London Math. Soc. 21 (1989), no. 1, 43–50. MR 967789, DOI 10.1112/blms/21.1.43
- Sh. T. Ishmukhametov, Differences of recursively enumerable sets, Izv. Vyssh. Uchebn. Zaved. Mat. 8 (1985), 3–12, 84 (Russian). MR 814602
- Carl G. Jockusch Jr. and Richard A. Shore, Pseudojump operators. I. The r.e. case, Trans. Amer. Math. Soc. 275 (1983), no. 2, 599–609. MR 682720, DOI 10.1090/S0002-9947-1983-0682720-1
- Piergiorgio Odifreddi, Classical recursion theory, Studies in Logic and the Foundations of Mathematics, vol. 125, North-Holland Publishing Co., Amsterdam, 1989. The theory of functions and sets of natural numbers; With a foreword by G. E. Sacks. MR 982269
- Gerald E. Sacks, On the degrees less than 0′, Ann. of Math. (2) 77 (1963), 211–231. MR 146078, DOI 10.2307/1970214
- Richard A. Shore and Theodore A. Slaman, Working below a low${}_2$ recursively enumerably degree, Arch. Math. Logic 29 (1990), no. 3, 201–211. MR 1038118, DOI 10.1007/BF01621095
- Robert I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987. A study of computable functions and computably generated sets. MR 882921, DOI 10.1007/978-3-662-02460-7
Additional Information
- © Copyright 1992 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 115 (1992), 461-471
- MSC: Primary 03D25
- DOI: https://doi.org/10.1090/S0002-9939-1992-1105037-0
- MathSciNet review: 1105037