Geodesic
Computable embedding of classes of algebraic structures with congruence relation
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 160 (2018) no. 4, pp. 731-737

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

It has been shown in the paper that there is an intermediate notion of embedding, which is based on the use of non-injective presentations of algebraic structures, between the computable embedding of classes of algebraic structures based on the enumeration operators and the Turing computable embedding. The problem of equivalence of this notion to the injective computable embedding is related to the problem of effective factorization by enumeration operators.
Keywords: enumeration operator, Turing operator, atomic diagram.
Mots-clés : algebraic structure 
@article{UZKU_2018_160_4_a10,
     author = {S. Vatev and H. Ganchev and I. Sh. Kalimullin},
     title = {Computable embedding of classes of algebraic structures with congruence relation},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {731--737},
     publisher = {mathdoc},
     volume = {160},
     number = {4},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2018_160_4_a10/}
}
TY  - JOUR
AU  - S. Vatev
AU  - H. Ganchev
AU  - I. Sh. Kalimullin
TI  - Computable embedding of classes of algebraic structures with congruence relation
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2018
SP  - 731
EP  - 737
VL  - 160
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZKU_2018_160_4_a10/
LA  - ru
ID  - UZKU_2018_160_4_a10
ER  - 
%0 Journal Article
%A S. Vatev
%A H. Ganchev
%A I. Sh. Kalimullin
%T Computable embedding of classes of algebraic structures with congruence relation
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2018
%P 731-737
%V 160
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_2018_160_4_a10/
%G ru
%F UZKU_2018_160_4_a10
S. Vatev; H. Ganchev; I. Sh. Kalimullin. Computable embedding of classes of algebraic structures with congruence relation. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 160 (2018) no. 4, pp. 731-737. http://geodesic.mathdoc.fr/item/UZKU_2018_160_4_a10/