Return to Article Details Definability via partial enumerations with semicomputable codomains Download Download PDF