Рекурсивно перечислимые множества и степени неразрешимости. Rekursivno perechislimyye mnozhestva i stepeni nerazreshimosti