О существовании семейств множеств без минимальных вычислимых нумераций в иерархии Ершова. On the existence of families of sets without minimal computable numberings in the Ershov hierarchy.

Аңдатпа

В данной статье рассматриваются проблема построения вычислимых семейств, не имеющих минимальных вычислимых нумерации. Вопрос о существовании семейств множеств без минимальных вычислимых нумераций естественно возникает и для иерархии Ершова. В работе установлено существование таких семейств в каждом классе множеств Σα−1 a иерархии Ершова для случая когда α является ординальным обозначением произвольного вычислимого непредельного ординала. This article discusses the problem of constructing a computable families without minimal computable numbering. The question of the existence of families of sets without minimal computable numberings naturally arises for Ershov hierarchy. In this paper, the existence of such families in each class of sets Σα−1 Ershov hierarchy for the case when α is an ordinal notation any computable successor ordinal.