Minimal Elements and Minimal Covers in Rogers Semilattice of Computable Numberings in Hyperarithmetical Hierarchy
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 3, pp. 77-84
Voir la notice de l'article provenant de la source Math-Net.Ru
Proved that Rogers semilattice of any infinite $\Sigma_{\omega}$-computable family contains infinitely many minimal elements, and each non-$0'$-universal numbering has infinitely many minimal covers.
Keywords:
numbering, Rogers semilattice, hyperarithmetical hierarchy, minimal elements, minimal covers.
@article{VNGU_2011_11_3_a4,
author = {N. A. Baklanova},
title = {Minimal {Elements} and {Minimal} {Covers} in {Rogers} {Semilattice} of {Computable} {Numberings} in {Hyperarithmetical} {Hierarchy}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {77--84},
publisher = {mathdoc},
volume = {11},
number = {3},
year = {2011},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2011_11_3_a4/}
}
TY - JOUR AU - N. A. Baklanova TI - Minimal Elements and Minimal Covers in Rogers Semilattice of Computable Numberings in Hyperarithmetical Hierarchy JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2011 SP - 77 EP - 84 VL - 11 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2011_11_3_a4/ LA - ru ID - VNGU_2011_11_3_a4 ER -
%0 Journal Article %A N. A. Baklanova %T Minimal Elements and Minimal Covers in Rogers Semilattice of Computable Numberings in Hyperarithmetical Hierarchy %J Sibirskij žurnal čistoj i prikladnoj matematiki %D 2011 %P 77-84 %V 11 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/VNGU_2011_11_3_a4/ %G ru %F VNGU_2011_11_3_a4
N. A. Baklanova. Minimal Elements and Minimal Covers in Rogers Semilattice of Computable Numberings in Hyperarithmetical Hierarchy. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 3, pp. 77-84. http://geodesic.mathdoc.fr/item/VNGU_2011_11_3_a4/