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

Строится допустимое множество вида $\mathbb{HF}_{\mathscr M}$, в котором есть бесконечное $\Sigma$-множество натуральных чисел, не представимое в виде $f(\omega)$, где $f$ – $\Sigma$-функция. Библиогр. 1.