Return to Article Details Definability issues in the ω-Turing degrees Download Download PDF