"Computable set" . "recursive relation" . . "recursive set" . "Computable set" . . . "computable" . "decidable" . "noncomputable" . "computable set" .