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

M. V. Dorzhieva

doi:10.1007/s10958-020-04781-6

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	https://doi.org/10.1007/s10958-020-04781-6
Состояние	Опубликовано - 1 мая 2020

Доступ к документу

10.1007/s10958-020-04781-6

Link to publication in Scopus

Цитировать

@article{045b566fece5487992c619498d8b6766,

title = "On One-to-One Numberings of the Family of All Σ21 -Sets",

abstract = "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.",

author = "Dorzhieva, {M. V.}",

year = "2020",

month = may,

day = "1",

doi = "10.1007/s10958-020-04781-6",

language = "English",

volume = "246",

pages = "788–792",

journal = "Journal of Mathematical Sciences (United States)",

issn = "1072-3374",

publisher = "Springer Nature",

number = "6",

}

TY - JOUR

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

AU - Dorzhieva, M. V.

PY - 2020/5/1

Y1 - 2020/5/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85084226299&partnerID=8YFLogxK

U2 - 10.1007/s10958-020-04781-6

DO - 10.1007/s10958-020-04781-6

M3 - Article

AN - SCOPUS:85084226299

VL - 246

SP - 788

EP - 792

JO - Journal of Mathematical Sciences (United States)

JF - Journal of Mathematical Sciences (United States)

SN - 1072-3374

IS - 6

ER -

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

Аннотация

Доступ к документу

Fingerprint

Цитировать