Geodesic
Undecidability of elementary theory of Rogers semilattices in analytical hierarchy
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 13 (2016), pp. 148-153

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove that the elementary theory of any nontrivial Rogers semilattice for analytical sets of bounded complexity is hereditarily undecidable. We also prove some results on the existence of minimal numberings in such lattices.
Keywords: analitycal hierarchy, computable numberings, minimal numberings, Rogers semilattices. 
@article{SEMR_2016_13_a5,
     author = {M. V. Dorzhieva},
     title = {Undecidability of elementary theory of {Rogers} semilattices in analytical hierarchy},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {148--153},
     publisher = {mathdoc},
     volume = {13},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2016_13_a5/}
}
TY  - JOUR
AU  - M. V. Dorzhieva
TI  - Undecidability of elementary theory of Rogers semilattices in analytical hierarchy
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2016
SP  - 148
EP  - 153
VL  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2016_13_a5/
LA  - ru
ID  - SEMR_2016_13_a5
ER  - 
%0 Journal Article
%A M. V. Dorzhieva
%T Undecidability of elementary theory of Rogers semilattices in analytical hierarchy
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2016
%P 148-153
%V 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2016_13_a5/
%G ru
%F SEMR_2016_13_a5
M. V. Dorzhieva. Undecidability of elementary theory of Rogers semilattices in analytical hierarchy. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 13 (2016), pp. 148-153. http://geodesic.mathdoc.fr/item/SEMR_2016_13_a5/