О сводимости вычислимых и потенциально вычислимых нумераций

Среди нумераций классов перечислимых множеств выделяются те, в которых номер несет информацию об имеющем этот номер множестве, — таковы вычислимые и потенциально вычислимые нумерации — и те, в которых множество несет информацию о своем номере, — таковы накрывающие и вполне накрывающие нумерации. Устанавливаются условия, необходимые и достаточные для того, чтобы все нумерации данного класса были накрывающими. Как следствие устанавливается существование накрывающих нумераций, не являющихся вполне накрывающими. Библ. 9 назв.