Продуктивное Множество

Множество натуральных чисел А , для к-рого существует такая частично рекурсивная функция j, что для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая общерекурсивная функция y, что уже для каждого хв зависимости от взаимного расположения множеств Аи Wx имеет место либо , либо . Таким образом, П.