Sigma-множество натуральных чисел, не перечислимое с помощью натуральных чисел

Морозов А. С.

Строится допустимое множество вида HF, в котором есть бесконечное Z-множество натуральных чисел, не представимое в виде f(w), где f – Z-функция.