Задача об универсальной функции.

[1doffys]

Добрый день, уважаемые форумчане, специалисты в мат. логике и теории алгоритмов в особенности.

Сразу к задаче: Пусть $K=\{ f(x)$ -- чрф, такие что $\forall x \in \mathbb{N}, f(x)\uparrow$ или $f(x) \in \{0,1\}\}$
Требуется доказать, что у такого класса существует универсальная чрф. Идея понятна: необходимо воспользоватьься универсальной функцией для класса всех чрф. Но универсальная функция будет построена от переменных $t и $x$. Непонятно каким образом устроено множество иксов, нельзя выделить никакие характерные свойства, которые можно было бы реализовать строго на языке предикатов. Подбросите парочку идей?

[nikvic]

1doffys в сообщении #664466 писал(а):

Идея понятна: необходимо воспользоватьься универсальной функцией для класса всех чрф. Но универсальная функция будет построена от переменных и .

Если я правильно понимаю, достаточно взять композицию универсальной и (внешним образом) функцию, дающую 0 на нуле и 1 для остального.

[1doffys]

nikvic,

Да, действительно, ваша идея выглядит разумной. Спасибо.