Friedberg numbering of the family of All $\Sigma^{1}_{2}$-sets
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 18 (2018) no. 2, pp. 47-52
Voir la notice de l'article provenant de la source Math-Net.Ru
We study the existence of a single-valued $\Sigma^{1}_{2}$-computable enumeration of the family of all $\Sigma^{1}_{2}$-sets. Friedberg proved that there is a numbering of the family of all computably enumerated sets without repetition. The same statement holds for all levels of arithmetical hierarchy, as well as for the Ershov hierarchy. However, J. Owings showed that $\Pi^{1}_{1}$-sets cannot be enumerated without repetition. In this paper, we continue to study the Friedberg numbering in analytical hierarchy. The main result is that there is no Friedberg numbering of the family of all $\Sigma^{1}_{2}$-sets.
Keywords:
enumeration, minimal enumeration, Friedberg enumeration, analytical hierarchy.
@article{VNGU_2018_18_2_a3,
author = {M. V. Dorzhieva},
title = {Friedberg numbering of the family of {All} $\Sigma^{1}_{2}$-sets},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {47--52},
publisher = {mathdoc},
volume = {18},
number = {2},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2018_18_2_a3/}
}
M. V. Dorzhieva. Friedberg numbering of the family of All $\Sigma^{1}_{2}$-sets. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 18 (2018) no. 2, pp. 47-52. http://geodesic.mathdoc.fr/item/VNGU_2018_18_2_a3/