Standard

Friedberg Numberings in the Ershov Hierarchy. / Ospichev, S. S.

In: Algebra and Logic, Vol. 54, No. 4, 09.2015, p. 283-295.

Research output: Contribution to journal › Article › peer-review

Harvard

Ospichev, SS 2015, 'Friedberg Numberings in the Ershov Hierarchy', Algebra and Logic, vol. 54, no. 4, pp. 283-295. https://doi.org/10.1007/s10469-015-9349-2

APA

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

Vancouver

Ospichev SS. Friedberg Numberings in the Ershov Hierarchy. Algebra and Logic. 2015 Sept;54(4):283-295. doi: 10.1007/s10469-015-9349-2

Author

Ospichev, S. S. / Friedberg Numberings in the Ershov Hierarchy. In: Algebra and Logic. 2015 ; Vol. 54, No. 4. pp. 283-295.

BibTeX

@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",

}

RIS

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 -

ID: 19999194