On One-to-One Numberings of the Family of All Σ21 -Sets

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

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

Fingerprint Подробные сведения о темах исследования «On One-to-One Numberings of the Family of All Σ21 -Sets». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать