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 |
Externí odkaz: |