О подмножествах рекурсивно перечислимых множеств

Abstract

Пусть A и B рекурсивно перечислимые множества и f – общерекурсивная функция, перечисляющая А без повторений. В точности установлено, к какому классу будет принадлежать f(B), если A и B взяты из классов рекурсивных, креативных, простых, псевдопростых и псевдокреативных множеств, за исключением одного случая.

Let and be the recursively enumerable sets and is total recursive function, which is enumerate A without repetition. We precisely establish what a set f (B) will be when A and B are from the classes of recursive, creative, simple, pseudosimple and pseuodcreative sets, with the exception the case.