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

- множество натуральных чисел А, для к-рого существует такая частично рекурсивная функция j, что [img: http://localhost:8080/file/041751-14.jpg] для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая общерекурсивная функция y, что уже для каждого хв зависимости от взаимного расположения множеств Аи Wx имеет место либо [img: http://localhost:8080/file/041751-15.jpg], либо [img: http://localhost:8080/file/041751-16.jpg]. Таким образом, П.