Index sets in the hyperarithmetical hierarchy

Autor: V. L. Selivanov
Rok vydání: 1985
Předmět:
Zdroj: Siberian Mathematical Journal. 25:474-488
ISSN: 1573-9260
0037-4466
DOI: 10.1007/bf00968988
Popis: In [I] the problem about the possibility of "structural" discription of the families of recursively enumerable sets, whose index sets belong to a given class of the arithmetical hierarchy, is posed. In this article, we will study the possibility of this description in terms of completely enumerable families, and that too in the following more general situation: for abstract classes of numbered sets and for various hierarchies.
Databáze: OpenAIRE