Computable embedding of classes of algebraic structures with congruence relation
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 embeddi...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Kazan Federal University
2018-12-01
|
| Series: | Учёные записки Казанского университета: Серия Физико-математические науки |
| Subjects: | |
| Online Access: | https://kpfu.ru/computable-embedding-of-classes-of-algebraic.html |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850285305953779712 |
|---|---|
| author | S. Vatev H. Ganchev I.Sh. Kalimullin |
| author_facet | S. Vatev H. Ganchev I.Sh. Kalimullin |
| author_sort | S. Vatev |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-5b2cd105745a4a9cacb44947d3dd2e71 |
| institution | OA Journals |
| issn | 2541-7746 2500-2198 |
| language | English |
| publishDate | 2018-12-01 |
| publisher | Kazan Federal University |
| record_format | Article |
| series | Учёные записки Казанского университета: Серия Физико-математические науки |
| spelling | doaj-art-5b2cd105745a4a9cacb44947d3dd2e712025-08-20T01:47:19ZengKazan Federal UniversityУчёные записки Казанского университета: Серия Физико-математические науки2541-77462500-21982018-12-011604731737Computable embedding of classes of algebraic structures with congruence relationS. Vatev0H. Ganchev1I.Sh. Kalimullin2Sofia University St. Kliment Ohridski, Sofia, 1504 BulgariaSofia University St. Kliment Ohridski, Sofia, 1504 BulgariaKazan Federal University, Kazan, 420008 RussiaIt 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.https://kpfu.ru/computable-embedding-of-classes-of-algebraic.htmlenumeration operatorturing operatoralgebraic structureatomic diagram |
| spellingShingle | S. Vatev H. Ganchev I.Sh. Kalimullin Computable embedding of classes of algebraic structures with congruence relation Учёные записки Казанского университета: Серия Физико-математические науки enumeration operator turing operator algebraic structure atomic diagram |
| title | Computable embedding of classes of algebraic structures with congruence relation |
| title_full | Computable embedding of classes of algebraic structures with congruence relation |
| title_fullStr | Computable embedding of classes of algebraic structures with congruence relation |
| title_full_unstemmed | Computable embedding of classes of algebraic structures with congruence relation |
| title_short | Computable embedding of classes of algebraic structures with congruence relation |
| title_sort | computable embedding of classes of algebraic structures with congruence relation |
| topic | enumeration operator turing operator algebraic structure atomic diagram |
| url | https://kpfu.ru/computable-embedding-of-classes-of-algebraic.html |
| work_keys_str_mv | AT svatev computableembeddingofclassesofalgebraicstructureswithcongruencerelation AT hganchev computableembeddingofclassesofalgebraicstructureswithcongruencerelation AT ishkalimullin computableembeddingofclassesofalgebraicstructureswithcongruencerelation |