Аннотация
We prove that for the second level analytical hierarchy there are no a one-to-one Σ21-computable numbering of the family of all Σ21-sets.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 788–792 |
Число страниц | 5 |
Журнал | Journal of Mathematical Sciences (United States) |
Том | 246 |
Номер выпуска | 6 |
DOI | |
Состояние | Опубликовано - 1 мая 2020 |