The Sacks Splitting Theorem is a fundamental result in recursion theory that establishes the existence of a pair of recursively enumerable Turing degrees whose join equals a given nonzero recursively enumerable degree and whose meet is strictly below it, thereby characterizing the structure of the recursively enumerable degrees under Turing reducibility.
8
Publications
150
Citations
11
Authors
11
Institutions
Publications per year
2017–2026
0
Parents
Publications
8
Finite injury and <i>Σ</i><sub>1</sub>-induction
Michael E. Mytilinaios · Journal of Symbolic Logic · 1989 · 35 citations
The universal splitting property. II
Manuel Lerman, Jeffrey B. Remmel · Journal of Symbolic Logic · 1984 · 21 citations
Splitting properties of r.e. sets and degrees
R. G. Downey, Lawrence Welch · Journal of Symbolic Logic · 1986 · 20 citations
1–5 of 8
Authors
11
- KA
2
h-index
- SB
2
h-index
- PA
2
h-index
- RG
1
h-index
- JZ
1
h-index
1–5 of 11
Institutions
11
University of Leeds
Leeds, United Kingdom
2 h-index
3 publications
46 citations
University of Massachusetts Boston
Boston, United States
2 h-index
2 publications
30 citations
TU Dortmund University
Dortmund, Germany
2 h-index
2 publications
30 citations
Western Illinois University
Macomb, United States
1 h-index
1 publications
20 citations
Dartmouth College
Hanover, United States
1 h-index
1 publications
35 citations
Georgia Institute of Technology
Atlanta, United States
1 h-index
1 publications
10 citations
Institute of Software
Beijing, China
1 h-index
1 publications
12 citations
University of California San Diego
San Diego, United States
1 h-index
1 publications
21 citations
1–8 of 11
Venues
- Journal of Symbolic Logic
5 publications · 106 citations
5
h-index
- Acta Mathematica Sinica English Series
1 publications · 12 citations
1
h-index
- Proceedings of the American Mathematical Society
PROC · 1 publications · 22 citations
1
h-index
- Discrete & Computational Geometry
1 publications · 10 citations
1
h-index
1–4