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/