Boolean algebras, splitting theorems, and Δ 2 0 sets Michael Morley, Robert Soare (1975) Fundamenta Mathematicae