Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 2, pp. 89-92
Voir la notice de l'article provenant de la source Math-Net.Ru
There was constructed example of infinite family of $\Sigma^{-1}_{a}$-sets with only one $\Sigma^{-1}_{a}$-computable numbering, $a$ is constructive ordinal.
Keywords:
computable numbering, Ershov's hierarchy.
@article{VNGU_2011_11_2_a7,
author = {S. S. Ospichev},
title = {Infinite family of~$\Sigma_a^{-1}${-Sets} with only {One} {Computable} {Numbering}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {89--92},
publisher = {mathdoc},
volume = {11},
number = {2},
year = {2011},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a7/}
}
TY - JOUR
AU - S. S. Ospichev
TI - Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering
JO - Sibirskij žurnal čistoj i prikladnoj matematiki
PY - 2011
SP - 89
EP - 92
VL - 11
IS - 2
PB - mathdoc
UR - http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a7/
LA - ru
ID - VNGU_2011_11_2_a7
ER -
S. S. Ospichev. Infinite family of $\Sigma_a^{-1}$-Sets with only One Computable Numbering. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 2, pp. 89-92. http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a7/