Эффективные R-множества и трансфинитные продолжения рекурсивных иерархий В. Амстиславский — 1970 Fundamenta Mathematicae