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!
|
| Summary: | 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. |
|---|---|
| ISSN: | 2541-7746 2500-2198 |