dc.contributor.author |
Kalimullin I. |
|
dc.date.accessioned |
2018-09-17T20:26:24Z |
|
dc.date.available |
2018-09-17T20:26:24Z |
|
dc.date.issued |
2002 |
|
dc.identifier.issn |
0022-4812 |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/133478 |
|
dc.description.abstract |
It is proved that if 1 < m < 2p ≤ n for some integer p then the elementary theories of posets of m-c.e. n-c.e. e-degrees are distinct. It is proved also that the structures 〈D2n ≤ P〉 and 〈D2n ≤ P〉 are not elementary equivalent where P is the predicate P(a) = "a is a π1 0 e-degree". |
|
dc.relation.ispartofseries |
Journal of Symbolic Logic |
|
dc.title |
Splitting properties of n-C.E. enumeration degrees |
|
dc.type |
Article |
|
dc.relation.ispartofseries-issue |
2 |
|
dc.relation.ispartofseries-volume |
67 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
537 |
|
dc.source.id |
SCOPUS00224812-2002-67-2-SID0036017421 |
|