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