dc.contributor.author |
Frolov A. |
|
dc.date.accessioned |
2018-09-18T20:11:24Z |
|
dc.date.available |
2018-09-18T20:11:24Z |
|
dc.date.issued |
2012 |
|
dc.identifier.issn |
0955-792X |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/137407 |
|
dc.description.abstract |
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We construct a computable presentation of any low weakly η-like linear ordering with no strongly η-like interval. Also we prove that there exists a noncomputably presentable low2 weakly η-like linear ordering with no strongly η-like interval. © ; 2010 The Author. Published by Oxford University Press. All rights reserved. |
|
dc.relation.ispartofseries |
Journal of Logic and Computation |
|
dc.subject |
Computability |
|
dc.subject |
computable presentations |
|
dc.subject |
linear ordering |
|
dc.title |
Low linear orderings |
|
dc.type |
Conference Paper |
|
dc.relation.ispartofseries-issue |
4 |
|
dc.relation.ispartofseries-volume |
22 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
745 |
|
dc.source.id |
SCOPUS0955792X-2012-22-4-SID84864765269 |
|