Friedberg Numberings in the Ershov Hierarchy

S. S. Ospichev

doi:10.1007/s10469-015-9349-2

Friedberg Numberings in the Ershov Hierarchy

S. S. Ospichev

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

5 Цитирования (Scopus)

Аннотация

A Friedberg numbering of the family of all sets for any given level of the Ershov hierarchy is constructed, and we also consider different consequences of this result.

Язык оригинала	английский
Страницы (с-по)	283-295
Число страниц	13
Журнал	Algebra and Logic
Том	54
Номер выпуска	4
DOI	https://doi.org/10.1007/s10469-015-9349-2
Состояние	Опубликовано - сен 2015

Цитировать

Ospichev, S. S. (2015). Friedberg Numberings in the Ershov Hierarchy. Algebra and Logic, 54(4), 283-295. https://doi.org/10.1007/s10469-015-9349-2

@article{a484ad5286c049b3a48af471eaae45d1,

title = "Friedberg Numberings in the Ershov Hierarchy",

abstract = "A Friedberg numbering of the family of all sets for any given level of the Ershov hierarchy is constructed, and we also consider different consequences of this result.",

keywords = "computable numbering, Friedberg numbering, Ershov hierarchy",

author = "Ospichev, {S. S.}",

year = "2015",

month = sep,

doi = "10.1007/s10469-015-9349-2",

language = "English",

volume = "54",

pages = "283--295",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "4",

}

TY - JOUR

T1 - Friedberg Numberings in the Ershov Hierarchy

AU - Ospichev, S. S.

PY - 2015/9

Y1 - 2015/9

N2 - A Friedberg numbering of the family of all sets for any given level of the Ershov hierarchy is constructed, and we also consider different consequences of this result.

AB - A Friedberg numbering of the family of all sets for any given level of the Ershov hierarchy is constructed, and we also consider different consequences of this result.

KW - computable numbering

KW - Friedberg numbering

KW - Ershov hierarchy

U2 - 10.1007/s10469-015-9349-2

DO - 10.1007/s10469-015-9349-2

M3 - Article

VL - 54

SP - 283

EP - 295

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 4

ER -

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

10.1007/s10469-015-9349-2